( en | de | ru )

 

Disambiguation of "Sannella, Donald"

Author of the publication

copydeleteadd this publication to your clipboard
Modularity of Ontologies in an Arbitrary Institution

, , , and . Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, volume 9200 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Donald Sannella

Donald Preuss

Donald Doenges

Donald Becker

Donald Ipperciel

 

Other publications of authors with the same name

Modularity of Ontologies in an Arbitrary Institution, , , and . Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, volume 9200 of Lecture Notes in Computer Science, page 361--379. Springer, (2015)Reflections on the Design of a Specification language., and . FASE, volume 1382 of Lecture Notes in Computer Science, page 154-170. Springer, (1998)Modularity of Ontologies in an Arbitrary Institution, , , and . Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, page 361--379. (2015)A Kernel Language for Algebraic Specification and Implementation., and . ADT, University of Passau, (1983)A Calculus for the Construction of Modular Prolog Programs., and . J. Log. Program., 12 (1&2): 147-177 (1992)CASL Semantics, , , , , , and . CASL Reference Manual, volume 2960 of Lecture Notes in Computer Science, chapter ÏII, Springer Verlag, London, Ëdited by D. Sannella and A. Tarlecki.(2004)Preface., , , , , and . Theor. Comput. Sci., (2019)Preface for the special issue in homage to Martin Hofmann Part 1., , and . Math. Struct. Comput. Sci., 31 (9): 950-952 (2021)Formal Development of ML Programs: Methodological Aspects., and . ADT, (1988)A Key to Your Heart: Biometric Authentication Based on ECG Signals., and . CoRR, (2019)