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 | 13 | 14 | 15 | 16 | 17 | Sie sind auf Seite:18 | 19
Sortieren nach: Autor Jahr Journal
Ehrig, H., Kreowski, H.-J., Maggiolo-Schettini, A., Rosen, B. K. and Winkowski, J.
Mathematical Systems Theory, 305–334. 1981
Ehrig, H., Kreowski, H.-J., Thatcher, J., Wagner, E. and Wright, J.
Workshop on Program Specification, Aarhus. SPRINGER, 322–369. 1981
Ehrig, H. and Mahr, B.
JCSS, 223–253. 1981
Ehrig, H.
Proc. CAAP '81. SPRINGER, 1–24. 1981
Ehrig, H., Fey, W. and Kreowski, H.-J.
Proc. 2nd German Chapter of the ACM Software Engineering - Entwurf und Spezifikation, Berlin. Teubner Verlag, Stuttgart, 75–90. 1980
Ehrig, H., Kreowski, H. J., Thatcher, J. W., Wagner, E. G. and Wright, J. B.
Proc.\ ICALP'80. SPRINGER, 157–168. 1980
Ehrig, H. and Kreowski, H.-J.
Information Systems, 225-238. 1980
Ehrig, H., Kreowski, H.-J., Mahr, B. and Padawitz, P.
Proc. Conf. Math. Foundations of Computer Science, Rydzyna. SPRINGER, 231-245. 1980
Ehrig, H., Kreowski, H.-J. and Padawitz, P.
Proc. 4th Int. Symp. on Programming. SPRINGER, 108–122. 1980
Proc. ICALP'80. SPRINGER, 142–156. 1980
Proc. ICALP '80. SPRINGER, 157–168. 1980
Proc. 12th ACM Symposium Theory of Comp., Los Angeles, 281–293. 1980
Ehrig, H. and Rosen, B.
SIAM J. COMPUT., 441 – 469. 1980
Ehrig, H. and Rosen, B. K.
TCS, 247–275. 1980
Ehrig, H. and Kühnel, W.
RAIRO, 107–133. 1979
Studien zur Algebra und Anwendungen. Akademie-Verlag, 137–154. 1979
Proc. Workshop WG'79 Graphentheoretische Konzepte in der Informatik, Berlin. Hanser-Verlag München-Wien, 223–240. 1979
Mathematische Nachrichten, 135–149. 1979
Proc. Workshop Formale Modelle für Informationssysteme, IFB 21, 181–198. 1979
Ehrig, H. and Liedtke, A.
1st Int.\ Workshop on Graph Grammars and their Application to Computer Science and Biology. SPRINGER. 1979
Graph Grammars and their Application to Computer Science and Biology. SPRINGER, 1–69. 1979
Ehrig, H. and Rosen, B.-K.
1st Int.\ Workshop on Graph Grammars and their Application to Computer Science and Biology. SPRINGER, 192–205. 1979
Proc. Nordwestdeutsches Kategorienseminar, Bielefeld. University of Bielefeld, 69–89. 1978
Proc. Workshop WG'78 Graphentheoretische Konzepte in der Informatik. Hanser Verlag, 227-244. 1978
Ehrig, H., Kreowski, H.-J., Maggiolo-Schettini, A., Rosen, B. and Winkowski, J.
Proc. 7th Int. Symp. on Math. Found. of Comp. Science, Zakopane. SPRINGER, 177–190. 1978
5th Int. Coll. Automata, Languages, and Programming. SPRINGER, 205–226. 1978
Ehrig, H., Kreowski, H.-J. and Weber, H.
Proc. 4th Int. Conf. Very Large Data Bases. Hahn-Meitner-Institut für Kernforschung, HMI-B266, 427–440. 1978
1978
Mathematical Foundations of Computer Science. SPRINGER, 65–176. 1978
Fundamentals of Computation Theory cdot Proceedings of the 1977 International FCT-Conference. SPRINGER, 245–255. 1977
Gehe zu: