( en | de | ru )

 

Disambiguation of "Mossakowski, T."

Author of the publication

copydeleteadd this publication to your clipboard
Specification in an arbitrary institution with symbols

. Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, volume 1827 of Lecture Notes in Computer Science, Springer Verlag, London, (2000)

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. You can also use the button next to the name to display some publications already assigned to the person.

Konrad Mossakowski

Herbert Mossakowski

Gerhard Mossakowski

Dietrich Mossakowski

Harald Mossakowski

 

Other publications of authors with the same name

Algebra union Topology, , and . Category Theory at Work, volume 18 of Research and Exposition in Mathematics, page 137--148. Heldermann Verlag; Berlin, (1991)https://www.heldermann.de/R&E/RAE18/rae18.htm.ModalCASL - Specification with Multi-Modal Logics. Language Summary. (2004)Using limits of parchments to systematically construct institutions of partial algebras. Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, volume 1130 of Lecture Notes in Computer Science, page 379--393. Springer Verlag, London, (1996)A Hierarchy of Institutions separated by properties of parameterized abstract data types. Recent Trends in Data Type Specification. Proceedings, volume 906 of Lecture Notes in Computer Science, page 389--405. Springer Verlag, London, (1995)Specification of Ontologies in CASL, and . Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), volume 114 of Frontiers in Artificial Intelligence and Applications, page 140-150. IOS Press; Amsterdam; http://www.iospress.nl, (2004)CASL Sublanguages and extensions. CASL Reference Manual, volume 2960 of Lecture Notes in Computer Science, chapter I:7, Springer Verlag, London, (2004)Spezifizierbarkeit und Berechenbarkeit parametrischer partieller Datentypen. (1992)Diploma thesis, Universität Bremen.Specification of an Ontology for Route Graphs, , , , , and . Spatial Cognition IV, volume 3343 of Lecture Notes in Artificial Intelligence, Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (2005)Translating OBJ3 to CASL: the institution level. Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT'98, Lisbon, Portugal, April 1998, Selected Papers, volume 1589 of Lecture Notes in Computer Science, page 198--214. Springer Verlag, London, (1999)Representations, hierarchies and graphs of institutions. Universität Bremen; www.uni-bremen.de, (1996)Also appeared as book in Logos Verlag.