Petri Nets. An Introduction. X, 161 pages, 111 figs. 1985. Vol. 5: W. Kuich, A. Salomaa: Semirings, Automata, Languages. IX, 374 pages, 23 figs. 1986. Vol. 6: H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics.... Algorithms in Combinatorial Geometryvon Herbert Edelsbrunner - 1987 - 423 SeitenEingeschränkte Leseprobe - Über dieses Buch
| Seppo Sippu, Eljas Soisalon-Soininen - 1990 - 440 Seiten
...Vol.4: W.Reisig Petri Nets An Introduction Vol. 5: W. Kuich, A. Salomaa Semirings, Automata, Languages Vol. 6: H. Ehrig, B. Mahr Fundamentals of Algebraic Specification 1 Equations and Initial Semantics Vol.7: F.Gecseg Products of Automata Vol.8: F.KiSger Temporal Logic of Programs Vol.9: K.Weihrauch... | |
| Alfonso Miola - 1990 - 300 Seiten
...Application of categorical I ogic. Symposium on Category Theory and Computer Science, LNCS 283 [EM85] H. Ehrig, B. Mahr, Fundamentals of algebraic specification 1 : Equations and initial semantics, Springer, (1985). [EW86] H. Ehrig, H. Weber, Programming in the large with algebraic module specifications,... | |
| S. Abramsky - 1991 - 502 Seiten
...in Computer Science, pages 1-19, Springer Lecture Notes in Computer Science 314, Berlin, 1988 [EM85] H. Ehrig, B. Mahr Fundamentals of Algebraic Specification 1, Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer- Verlag (1985) [EM90] H.Ehrig, B.Mahr... | |
| Stephane Kaplan - 1991 - 500 Seiten
...Graph Grammars. Proc. 1st Graph Grammar Workshop, Lecture Notes in Comp. Sci. 73, 1-69 (1979) [EM 85] H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1 - Equations and Initial Semantics. Springer- Verlag (1985) [FGJM 85] K. Futatsugi, J. Goguen, JP Jouannoud, J. Meseguer: Principles of... | |
| Michel Bidoit - 1991 - 116 Seiten
...implementations for abstract data types. Journal of Computer and System Sciences 23(2), 223-253 (1981). [EM 85] H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6. Springer (1985). [EM 90] H. Ehrig, B. Mahr:... | |
| Michel Bidoit, Christine Choppy - 1993 - 360 Seiten
...Computer Science and Biology, Lecture Notes in Computer Science 73. Berlin: Springer 1979, pp. 1-69 6. H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, SpringerVerlag, Berlin 1985 7. H. Ehrig,... | |
| Grzegorz Rozenberg, Arto Salomaa - 1993 - 642 Seiten
...Specifications of Modules and Configuration Families, TU Berlin, FB 20, Techn. Report No. 88-17 (1988) H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer (1985) H. Ehrig, B. Mahr: Fundamentals... | |
| Giorgio Levi, Mario Rodriguez-Artalejo - 1994 - 324 Seiten
...editor, Handbook of Theoretical Computer Science. Elsevier Science Publishers North-Holland, 1990. [EM85] H. Ehrig, B. Mahr. Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. Springer Verlag, 1985. [Gan87] H. Ganzinger. Ground Term Confluence in Parametric Conditional Rewrite... | |
| Manfred Broy, Stefan Jähnichen - 1995 - 468 Seiten
...Smith, Implementing Mathematics with the Nuprl Proof Development System, Prentice Hall, 1986. [EM86] H. Ehrig, B. Mahr : Fundamentals of Algebraic Specification 1, Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer 1985 [EM90] H. Ehrig, B. Mahr :... | |
| Lane Hemaspaandra, Mitsunori Ogihara - 2001 - 396 Seiten
...Monographs on Theoretical Computer Science Vol. 5: W. Kuich, A. Salomaa Semirings, Automata, Languages Vol. 6: H. Ehrig, B. Mahr Fundamentals of Algebraic Specification 1 Equations and Initial Semantics Vol. 7: F. Gécseg Products of Automata Vol. 8: F. Kroger Temporal Logic of Programs Vol. 9: K. Weihrauch... | |
| |