Algebraic Foundations for System Specification, E. Astesiano, H-J. Kreoski, B. Krieg-Bruckener editors, IFIP State-of-the-art Reports, Springer-Verlag 1999. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Bibliography for An Algebraic Study of Modularity in Logic.. - Pino (1999) (Correct)
....Foundations of Computer Science 94 (I. Privara, B. Rovan, P. Ruzicka, eds. Springer Verlag LNCS 841 112 126. OPE97] F. Orejas, E. Pino, H. Ehrig. Institutions for Logic Programming Theoretical Computer Science 173:485 511 (1997) Ore99] F. Orejas. Chapter 3: Structuring and Modularity. In [AKK99]. OSC89] F. Orejas, V. Sacristn, S. Clrici. Development of algebraic specifications with constraints, in: Proc. Workshop on Categorical Methods in Computer Science with Aspects from Topology, Lecture Notes in Computer Science, Vol. 393 (Springer, Berlin, 1989) 139 123. Par87] F. ....
Algebraic Foundations for System Specification, E. Astesiano, H-J. Kreoski, B. Krieg-Bruckener editors, IFIP State-of-the-art Reports, Springer-Verlag 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC