( en | de | ru )

 

Disambiguation of "Mossakowski, T."

Author of the publication

copydeleteadd this publication to your clipboard
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)

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)HetCASL - Heterogeneous Specification. Language Summary. (2004)CASL Tools. CASL User Manual, volume 2900 of Lecture Notes in Computer Science, Springer Verlag, London, (2004)Das Dragon 32/64-Lexikon, and . Röckrath; Aachen, (1984)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)HasCASL - Integrated functional specification and programming. Language summary., , and . (2003)From total equational to partial first order logic, , and . Algebraic Foundations of Systems Specifications, Springer Verlag, London, (1999)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)Static Semantic Analysis and Theorem Proving for C<small><small>ASL</small></small>, , and . Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97, 1376, page 333-348. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (1998)