( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Static Semantic Analysis and Theorem Proving for C<small><small>ASL</small></small>

, , и . Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97, 1376, стр. 333-348. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (1998)

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.

Konrad Mossakowski

Gerhard Mossakowski

Herbert Mossakowski

Dietrich Mossakowski

Harald Mossakowski

 

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

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