direkt zum Inhalt springen
direkt zum Hauptnavigationsmenü
Sie sind hier
Suchen
Institut für Softwaretechnik und Theoretische InformatikTheor. Informatik / Formale Spezifikation
1 | 2 | 3 | Sie sind auf Seite:4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19
Sortieren nach: Autor Jahr Journal
Böhm, P., Ehrig, H., Hummert, U. and Löwe, M.
3rd Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 86–98. 1987
Parisi-Presicce, F., Ehrig, H. and Montanari, U.
3rd Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 496–514. 1987
Blum, E., Ehrig, H. and Parisi-Presicce, F.
JCSS, 293-339. 1987
Wagner, E. and Ehrig, H.
TCS, 323–351. 1987
Dimitrovici, C., Ehrig, H., Grosse-Rhode, M. and Rieckhoff, C.
1987
Ehrig, H., Parisi-Presicce, F., Boehm, P., Rieckhoff, C., Dimitrovici, C. and Große-Rhode, M.
TCS, 23–43. 1987
Ehrig, H., Fey, W., Hansen, H., Löwe, M. and Jacobs, D.
1988
Ehrig, H., Fey, W., Hansen, H., Löwe, M., Jacobs, D., Langen, A. and Parisi-Presicce, F.
Weber, H. and Ehrig, H.
Proc.\ IEEE Workshop on Future Trends of Distr.\ Comp.\ Systems in the 1990s, Hongkong. IEEE, 202–215. 1988
Ehrig, H., Böhm, P., Hummert, U. and Löwe, M.
13th Int.\ Workshop on Graph Theoretic Concepts in Computer Science. SPRINGER, 1–19. 1988
Ehrig, H., Parisi–Presicce, F., Boehm, P., Rieckhoff, C., Dimitrovici, C. and Große–Rhode, M.
Recent Trends in Data Type Specifications. SPRINGER, 23–43. 1988
Proc. First Int. Conf. Algebraic Methodology and Software Technology (AMAST), University of Iowa. University of Iowa. 1989
Proc. 9th Conf. on Foundations of Software Technology and Theoretical Computer Science, Bangalore, India 1989
Journal Inf. Process. Cybern. EIK 25, 205–232. 1989
Ehrig, H., Fey, W., Hansen, H., Löwe, M. and Parisi-Presicce, F.
Proc. Categorical Methods in Comp. Sci. with Aspects from Topology. SPRINGER, 157–184. 1989
Ehrig, H. and Herrlich, H.
Categorical Methods in Computer Science. SPRINGER, 286–293. 1989
Orejas, F., Nivela, P. and Ehrig, H.
Computer Science - with Aspects from Topology. SPRINGER, 220–243. 1989
Ehrig, H. and Löwe(eds.), M.
1989
Ehrig, H.
Categorical Methods in Computer Science - with Aspects from Topology. SPRINGER, 1–15. 1989
Algebraic Specification Column Part 6. EATCS, 79–92. 1989
Invited Paper ICALP'89. SPRINGER, 263–288. 1989
Proc. 1st Maghr. Conference on Software Engineering and Artificial Intelligence, Constantine, 79–92. 1989
Ehrig, H., Pepper, P. and Orejas, F.
Proc.\ ICALP '89. SPRINGER, 263-289. 1989
Ehrig, H., Claßen, I., Boehm, P., Fey, W., Korff, M. and Löwe, M.
Informatik Fachberichte 212. SPRINGER, 201–224. 1989
Ehrig, H. and Classen, I.
BEACTS, 103–111. 1989
Ehrig, H., Fey, W., Hansen, H., Löwe, M., Jacobs, D. and Parisi-Presicce, F.
Theoretical Computer Science, 27–71. 1990
Grosse-Rhode, M. and Ehrig, H.
Stepwise Refinement of Distributed Systems, REX-Workshop 1989. SPRINGER, 301–339. 1990
1990
Ehrig, H., Habel, A., Kreowski, H.-J. and Parisi-Presicce, F.
Gehe zu: