direkt zum Inhalt springen
direkt zum Hauptnavigationsmenü
Sie sind hier
Suchen
Institut für Softwaretechnik und Theoretische InformatikTheor. Informatik / Formale Spezifikation
Sie sind auf Seite:1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19
Sortieren nach: Autor Jahr Journal
Ehrig, H.
1971 Technische Universität Berlin
Ehrig, H. and Pfender, M. et al.
||de Gruyter Lehrbuch. 1972
Ehrig, H., Pfender, M. and Schneider, H.
14th Annual IEEE Symposium on Switching and Automata Theory. IEEE, 167–180. 1973
Ehrig, H. and Kühnel, W.
RAIRO, 73–91. 1974
Ehrig, H., Kiermeier, K., Kreowski, H. and Kühnel, W.
||B. G. Teubner. 1974
Ehrig, H., Kreowski, H.-J. and Pfender, M.
Math. Nachr., 105–124. 1974
BI-Buch: Überblicke Mathematik VII, 167–218. 1974
Math. Nachr., 75–93. 1974
Ehrig, H. and Tischer, K.-W.
Proc. Conf. on Biologically Motivated Automata Theory, Virginia, USA. Record MITRE Corp., 158–165. 1974
Ehrig, H., Kühnel, W. and Pfender, M.
Proc. 1st Intern. Symp. Category Theory Applied to Computation and Control, San Francisco. SPRINGER, 137–143. 1975
Ehrig, H. and Kreowski, H.-J.
Proc. 1st Intern. Symp. Category Theory Applied to Computation and Control, San Francisco. SPRINGER, 144–150. 1975
Journal Computer System Science, 212–236. 1975
Proc. Conf. on Uniformly Structured Automata Theory and Logic, Tokyo, 1–6. 1975
Automata, Languages, Development. Amsterdam: North Holland, 425–447. 1976
Conf. Report Algebraic System Theory, Udine 1975, Lecture Notes Econ. Math. Syst. 131 (1976). SPRINGER, 323–351. 1976
Proc. Conf. Math. Foundations of Computer Science. SPRINGER, 284 – 293. 1976
Conf. Report Algebraic System Theory, Udine 1975, Lecture Notes Econ. Math. Syst. 131 (1976). SPRINGER, 359–374. 1976
Proc. Conf. Categorical and Algebraic Methods in Comp. Science and Systems Theory, Dortmund, Germany 1976
Journal Computer Syst. Science, 269–304. 1976
Schneider, H. and Ehrig, H.
Acta Informatica, 297–316. 1976
Denert, E. and Ehrig, H.
1976
Ehrig, H. and Rosen, B.
Ehrig, H. and Rozenberg, G.
Formal Languages, Automata and Development. North Holland, 443 - 468. 1976
Automata, Laanguages Development. North-Holland Publishing Compasny, 443 – 468. 1976
Fundamentals of Computation Theory cdot Proceedings of the 1977 International FCT-Conference. SPRINGER, 245–255. 1977
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
Ehrig, H., Kreowski, H.-J. and Padawitz, P.
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
Gehe zu: