( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Compiling Logics

, , , , и . Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, том 7841 из Lecture Notes in Computer Science, стр. 111-126. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Till Mossakowski

Konrad Mossakowski

Herbert Mossakowski

Gerhard Mossakowski

Dietrich Mossakowski

 

Другие публикации лиц с тем же именем

Institutions for database schemas and datasets, и . CALCO early ideas 2017, (2017)OSMonto - An Ontology of OpenStreetMap Tags, , , , и . State of the map Europe (SOTM-EU) 2011, (2011)Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design, , и . Logica Univeralis, 4 (2): 255-333 (2010)Ontologie-basierte Routenplanung für eine aktivitätsorientierte Elektromobilität mit OpenStreetMap, , и . Magdeburger Logistiktagung, (2011)How to write consistent CASL design specifications. (2000)CoFI note M-8.What is a Logic? (revised version), , , и . Logica Universalis, second edition, стр. 111-133. Birkhäuser, (2007)An Institutional View on Categorical Logic, , , , и . Int J Software Informatics, 1, стр. 129-152. (2007)Heterogeneous specification and the heterogeneous tool set. Universitaet Bremen, (2005)Three Semantics for the Core of the Distributed Ontology Language, , и . IJCAI 2013, (2013)IJCAI 2013 track on Best Papers in Sister Conferences.Parametrized Exceptions, , и . Algebra and Coalgebra in Computer Science, том 3629 из Lecture Notes in Computer Science, стр. 424-438. Springer; Berlin; http://www.springer.de, (2005)