Theoretische Informatik - Research Information System | University of Kassel - CONVERIS Research Information System

Go to Header Go to Navigation Go to Content Go to Footer

Theoretische Informatik

University of Kassel » Fachbereiche » Faculty of Electrical Engineering and Computer Science » Informatik

Address:

Heinrich-Plett-Str. 40
34130 Kassel

Past Persons

------

Publications

Go to first page

Go to previous page

10 of 10

Go to next page

Go to last page

2002	Pride, S., Otto, F., 2002. For rewriting systems the topological finiteness conditions FDT, FHT are not equivalent.
2002	Beaudry, M., Holzer, M., Niemann, G., Otto, F., 2002. On the relationship between the McNaughton families of languages and the Chomsky hierarchy, in: Kuich, W. (Hrsg.), Developments in Language Theory, Proceedings DLT 2001. Springer, Berlin, S. 340–348.
2002	Hofbauer, D., Kögl, C., Madlener, K., Otto, F., 2002. XSSR: An experimental system for string rewriting - decision problems, algorithms, and implementation, in: Cohen, A.M. (Hrsg.), Proceedings of the 1st International Congress of Mathematical Software, ICMS-02. World Scientific, Beijing, China, S. 126–135.
2001	Niemann, G., Otto, F., 2001. On the power of RRWW-automata, in: Ito, M. and P. (Hrsg.), Words, Semigroups, and Transductions. Essays in Honour of Gabriel Thierrin, On the Occasion of His 80th Birthday. World Scientific, Singapore, S. 341–355.
2001	Otto, F., Moriya, E., 2001. Shrinking alternating two-pushdown automata. Fachbereich Mathematik/Informatik, Universität Kassel, Kassel.
2001	Jurdzinski, T., Lorys, K., Niemann, G., Otto, F., 2001. Some results on RRW- and RRWW-automata and their relationship to the class of growing context-sensitive languages. Fachbereich Mathematik/Informatik, Kassel.
2000	Niemann, G., Otto, F., 2000. Confluent internal contextual languages, in: C. Martin-Vide, G.P. (Hrsg.), Recent Topics in Mathematical and Computational Linguistics. The Publishing House of the Romanian Academy, Bucharest, S. 234–244.
2000	Niemann, G., Otto, F., 2000. Restarting automata, Church-Rosser langauges and representations of r.e. languages, in: G. Rozenberg, W.T. (Hrsg.), Developments in Language Theory - Foundations, Applications and Perspectives, Proceedings DLT’99. World Scientific, Singapore, S. 103–114.
1998	Niemann, G., Otto, F., 1998. The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages, in: Nivat, M. (Hrsg.), Foundations of Software Science. Springer, Berlin, S. 243–257.
1996	Cremanns, R., Otto, F., 1996. For groups the property of having finite derivation type is equivalent to the homological finiteness condition FP3 22, 155–177. https://doi.org/10.1006/jsco.1996.0046

Other Research Activities

09/2021

Professionalisierung angehender Biologie-Lehrkräfte zum Diagnostizieren von Schülerhür-den beim Experimentieren über den Einsatz intelligenter Lehr-Lernsysteme
Poster presentation