direkt zum Inhalt springen
direkt zum Hauptnavigationsmenü
Sie sind hier
Suchen
Institut für Softwaretechnik und Theoretische InformatikTheor. Informatik / Formale Spezifikation
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | Sie sind auf Seite:13 | 14 | 15 | 16 | 17 | 18 | 19
Sortieren nach: Autor Jahr Journal
Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Padberg, J.
Proc. 5th Int. Workshop on Graph Transformations, Williamsburg, Virginia, USA 1994
Ehrig, H., Löwe, M. and Orejas, F.
1994
Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Rossi, F.
Proc. PROCOMET'94, IFIP TC2 Working Conf., San Miniato 1994. IFIP TCS, 417–439. 1994
Proc. Graph Grammar Workshop Dagstuhl 93. SPRINGER, 86–103. 1994
Proc. Graph Grammar Workshop Dagstuhl 93. SPRINGER, 104–118. 1994
Wolter, U., Didrich, K., Cornelius, F., Klar, M., Wess"aly, R. and Ehrig, H.
Programming Concepts, Methods and Calculi. North-Holland. 1994
Wolter, U., Didrich, K., Cornelius, F., Klar, M., Wessäly, R. and Ehrig, H.
Ehrig, H. and Orejas, F.
Bull. EATCS 53, 162–169. 1994
Ehrig, H.
Proc. Shanghai Workshop on Software Technology. Jiao Tong University. 1994
BEATCS, 188–202. 1994
Ehrig, H. and Padberg, J.
Algebraic Specification Column. EATCS, 132 – 144. 1994
Ehrig, H., Padberg, J. and Ribeiro, L.
Recent Trends in Data Type Specification. SPRINGER, 188–206. 1994
Ehrig, H., Padberg, J. and Rozenberg, G.
Workshop on Concurrency, Specification & Programming 1994
Ehrig, H. and Bardohl, R.
Proc. of the International Workshop on Advanced Software Technology, Shanghai, 70–85. 1994
Ehrig, H., Pepper, P., Wolter, U., Jatzeck, M., Cornelius, F., Faulhaber, J., Grieskamp, W., Löwe, M., Claßen, I., Gerke, C. and Didrich, K.
Ribeiro, L., Ehrig, H. and Padberg, J.
Proc. VII Simpósio Brasileiro de Engenharia de Software, 1–16. 1993
1993
Ehrig, H., Jimenez, R. M. and Orejas, F.
Proc.\ TAPSOFT '93, Paris. SPRINGER, 16–30. 1993
Ehrig, H. and Korff, M.
BEATCS, 105-111. 1993
Padberg, J., Ehrig, H. and Ribeiro, L.
Padberg, J., Ribeiro, L., Ehrig, H. and Cornelius, F.
Bardohl, B., Bardohl, R., Castro, P., Ehrig, H., Korff, M., Padberg, J., Ribeiro, R., Nunes, D., Martins, J. and Martini, A.
Proc. of the Workshop on Information Technology: Cooperative Research with Industrial Partners between Germany and Brazil. PUC/Rio Press. 1993
Ribeiro, L., Ehrig, H., Korff, M., Padberg, J., Nunes, D., Bardohl, R. and Castro, P.
Information Technology: Cooperative Research with Industrial Partners between Germany and Brazil 1993
Ehrig, H. and Löwe, M.
TCS, 123 - 143. 1993
TCS, 123–143. 1993
Applied Categorical Structures, 21–50. 1993
Gehe zu: