Computer-Supported Exploration of a Categorical Axiomatization of Modeloids

Author(s): Tiemens, Lucca; Scott, Dana S.; Benzmüller, Christoph  ; Benda, Miroslav
Title of the compilation: Relational and Algebraic Methods in Computer Science
Volume Number/Title: 12062
Title of the Journal: Lecture Notes in Computer Science
Editors: Fahrenberg, U.; Jipsen, P.; Winter, M.
ISSN: 1611-3349, 0302-9743
Conference: Relational and Algebraic Methods in Computer Science 18th International Conference, RAMiCS 2020, October 26–29, 2020; Proceedings, Palaiseau, France
Publisher Information: Cham : Springer
Year of publication: 2020
Pages: 302-317
ISBN: 978-3-030-43520-2
Language(s): English
DOI: 10.1007/978-3-030-43520-2_19
Peer Reviewed: Ja
International Distribution: Ja
Type: Conferenceobject
Release Date: 22. September 2022