Computer-Supported Exploration of a Categorical Axiomatization of Modeloids
Tiemens, Lucca; Scott, Dana S.; Benzmüller, Christoph; u. a. (2020): Computer-Supported Exploration of a Categorical Axiomatization of Modeloids, in: U. Fahrenberg, P. Jipsen, M. Winter, u. a. (Hrsg.), Relational and Algebraic Methods in Computer Science, Cham: Springer, S. 302–317, doi: 10.1007/978-3-030-43520-2_19.
Author:
 ;  ;  ; 
Title of the compilation:
Relational and Algebraic Methods in Computer Science
Editors:
Fahrenberg, U.
Jipsen, P.
Winter, M.
Conference:
Relational and Algebraic Methods in Computer Science 18th International Conference, RAMiCS 2020, October 26–29, 2020; Proceedings ; Palaiseau, France
Publisher Information:
Year of publication:
2020
Pages:
ISBN:
978-3-030-43520-2
978-3-030-43519-6
Series ; Volume:
Lecture Notes in Computer Science ; 12062
Language:
English
DOI:
URL:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Conferenceobject
URI:
Activation date:
September 22, 2022

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/55664