Friedrich J. Urbanek

Publication Activity (10 Years)

Years Active: 1979-2002
Publications (10 Years): 0

Publications

Werner Kuich, Norbert Sauer, Friedrich J. Urbanek
Heyting Algebras and Formal Languages. J. Univers. Comput. Sci. 8 (7) (2002)
Friedrich J. Urbanek
A simple lamda-term representing the predecessor function with respect to church numerials. Bull. EATCS 50 (1993)
Friedrich J. Urbanek
O = square. Bull. EATCS 46 (1992)
Friedrich J. Urbanek
A note on the language operator "red". Bull. EATCS 47 (1992)
Friedrich J. Urbanek
A Simple Completeness Proof for Early's Algorithm. Bull. EATCS 42 (1990)
Gerd Baron, Friedrich J. Urbanek
Factorial Languages with Quadratically Upper Bounded Growth Functions and Nonlinearly Upper Bounded Subword Complexities. Inf. Process. Lett. 32 (5) (1989)
Friedrich J. Urbanek
On minimizing finite automata. Bull. EATCS 39 (1989)
Friedrich J. Urbanek
On Greibach Normal Form Construction. Theor. Comput. Sci. 44 (1986)
Friedrich J. Urbanek
On Greibach Normal Form Construction. Theor. Comput. Sci. 40 (1985)
Helmut Prodinger, Friedrich J. Urbanek
On monotone functions of tree structures. Discret. Appl. Math. 5 (2) (1983)
Werner Kuich, Friedrich J. Urbanek
Infinite Linear Systems and one Counter Languages. Theor. Comput. Sci. 22 (1983)
Friedrich J. Urbanek
Element of the Solution of a Difference Equation. Inf. Process. Lett. 11 (2) (1980)
Helmut Prodinger, Friedrich J. Urbanek
Infinite 0-1-sequences without long adjacent identical blocks. Discret. Math. 28 (3) (1979)
Helmut Prodinger, Friedrich J. Urbanek
Language Operators Related to Init. Theor. Comput. Sci. 8 (1979)
Werner Kuich, Helmut Prodinger, Friedrich J. Urbanek
On the Height of Derivation Trees. ICALP (1979)