( en | de | ru )

 

Disambiguation of "Mossakowski, T."

Author of the publication

copydeleteadd this publication to your clipboard
Categorical Fibring of Logics with Terms and Binding Operators

, , , and . Frontiers of Combining Systems 2, Research Studies Press, (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

Till Mossakowski

 

Other publications of authors with the same name

The Development Graph Manager MAYA (System description), , , and . Algebraic Methodology and Software Technology, 2002, volume 2422 of Lecture Notes in Computer Science, page 495--502. Springer Verlag, London, (2002)Das Dragon 32/64-Lexikon, and . Röckrath; Aachen, (1984)HetCASL - Heterogeneous Specification. Language Summary. (2004)Ontologies for the Semantic Web in CASL, , and . Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), volume 3423 of Lecture Notes in Computer Science, page 106-125. Springer; Berlin; http://www.springer.de, (2005)Combining and Representing Logical Systems Using Model-Theoretic Parchments, , and . Recent trends in algebraic development techniques. Proc. 12th International Workshop, volume 1376 of Lecture Notes in Computer Science, page 349--364. Springer Verlag, London, (1998)CASL Tools. CASL User Manual, volume 2900 of Lecture Notes in Computer Science, Springer Verlag, London, (2004)HasCASL - Integrated functional specification and programming. Language summary., , and . (2003)Equivalence and Difference of Institutions: Simulating Horn Clause Logic With Based Algebras, and . Mathematical Structures in Computer Science, (1995)Permissive Subsorted Partial Logic in CASL, , , and . Algebraic methodology and software technology, 6th international conference, AMAST 97, 1349, page 91–107. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (1997)Colimits of Order-Sorted Specifications. Recent trends in algebraic development techniques. Proc. 12th International Workshop, volume 1376 of Lecture Notes in Computer Science, page 316--332. Springer Verlag, London, (1998)