( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modularity of Ontologies in an Arbitrary Institution

, , , и . Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, том 9200 из Lecture Notes in Computer Science, стр. 361--379. Springer, (2015)
DOI: 10.1007/978-3-319-23165-5_17

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.

Donald Sannella

Donald Carlson

Donald Carlson

Donald Merckling

Donald Preuss

 

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

Modularity of Ontologies in an Arbitrary Institution, , , и . Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, том 9200 из Lecture Notes in Computer Science, стр. 361--379. Springer, (2015)Reflections on the Design of a Specification language., и . FASE, том 1382 из Lecture Notes in Computer Science, стр. 154-170. Springer, (1998)Modularity of Ontologies in an Arbitrary Institution, , , и . Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, стр. 361--379. (2015)A Kernel Language for Algebraic Specification and Implementation., и . ADT, University of Passau, (1983)A Calculus for the Construction of Modular Prolog Programs., и . J. Log. Program., 12 (1&2): 147-177 (1992)CASL Semantics, , , , , , и . CASL Reference Manual, том 2960 из Lecture Notes in Computer Science, глава ÏII, Springer Verlag, London, Ëdited by D. Sannella and A. Tarlecki.(2004)Preface for the special issue in homage to Martin Hofmann Part 1., , и . Math. Struct. Comput. Sci., 31 (9): 950-952 (2021)Preface., , , , , и . Theor. Comput. Sci., (2019)The Semantics of Extended ML: A Gentle Introduction., , и . Semantics of Specification Languages, стр. 186-215. Springer, (1993)Formal Development of ML Programs: Methodological Aspects., и . ADT, (1988)