Items where authors include "Habel, A."

Export as [feed] Atom [feed] RSS
Number of items: 2.


Habel, A., Muller, J. and Plump, D. (2001) Double-pushout graph transformation revisited. Mathematical Structures in Computer Science, 11 (5). pp. 637-688. ISSN 0960-1295

Proceedings Paper

Habel, A. and Plump, D. (2001) Computational Completeness of Programming Languages Based on Graph Transformation. In: Honsell, F. and Miculan, M., (eds.) Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001: Proceedings. Held as Part of the Joint European Conferences on Theory and Practice of Software. ETAPS 2001, April 2-6, 2001, Genova, Italy. Lecture Notes in Computer Science (2030). Springer-verlag , pp. 230-245.

This list was generated on Sat Mar 25 14:07:25 2023 GMT.