( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
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)

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

Herbert Mossakowski

Gerhard Mossakowski

Dietrich Mossakowski

Harald Mossakowski

 

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

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)Categorical Fibring of Logics with Terms and Binding Operators, , , и . Frontiers of Combining Systems 2, Research Studies Press, (2000)Institution Independent Static Analysis for CASL, и . Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01, Genova, Italy, том 2267 из Lecture Notes in Computer Science, стр. 221--237. Springer Verlag, London, (2002)Die arithmetische Komplexität der Semantik und der SLD-Bäume von logischen Programmen. (1987)Bundeswettbewerb "Jugend forscht", 1. Preis.Equivalences among various logical frameworks of partial algebras. Computer Science Logic. 9th Workshop, CSL'95. Paderborn, Germany, September 1995, Selected Papers, том 1092 из Lecture Notes in Computer Science, стр. 403--433. Springer Verlag, London, (1996)Foundations of heterogeneous specification. Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, стр. 359--375. Springer Verlag, London, (2003)From total equational to partial first order logic, , и . Algebraic Foundations of Systems Specifications, Springer Verlag, London, (1999)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)