| Publication | Date of Publication | Type |
|---|
Lambda-representable functions over term algebras
International Journal of Foundations of Computer Science | 2015-04-30 | Paper |
| scientific article; zbMATH DE number 2185668 (Why is no real title available?) | 2005-07-04 | Paper |
| scientific article; zbMATH DE number 1696443 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1479630 (Why is no real title available?) | 2000-07-20 | Paper |
| scientific article; zbMATH DE number 1361532 (Why is no real title available?) | 2000-02-01 | Paper |
| scientific article; zbMATH DE number 1047909 (Why is no real title available?) | 1997-11-09 | Paper |
Normal proofs and their grammar
Information and Computation | 1997-01-12 | Paper |
Parallel reductions in \(\lambda\)-calculus
Information and Computation | 1995-12-13 | Paper |
| scientific article; zbMATH DE number 512795 (Why is no real title available?) | 1995-02-16 | Paper |
Parallel reductions in \(\lambda\)-calculus
Journal of Symbolic Computation | 1989-01-01 | Paper |
Brzozowski hierarchy of \(\omega\)-languages
Theoretical Computer Science | 1987-01-01 | Paper |
The greatest fixed-points and rational omega-tree languages
Theoretical Computer Science | 1986-01-01 | Paper |
Characterization of \(\omega\)-regular languages by monadic second-order formulas
Theoretical Computer Science | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4016217 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3918353 (Why is no real title available?) | 1985-01-01 | Paper |
Generalized parenthesis languages and minimization of their parenthesis parts
Theoretical Computer Science | 1984-01-01 | Paper |
Characterization of \(\omega\)-regular languages by first-order formulas
Theoretical Computer Science | 1984-01-01 | Paper |
A note on \(\omega\)-regular languages
Theoretical Computer Science | 1983-01-01 | Paper |
Nest sets and relativized closure properties
Theoretical Computer Science | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3858442 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3711239 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3572054 (Why is no real title available?) | 1977-01-01 | Paper |
Tree adjunct grammars
Journal of Computer and System Sciences | 1975-01-01 | Paper |
Generalizations of regular sets and their application to a study of context-free languages
Information and Control | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3441989 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3423572 (Why is no real title available?) | 1973-01-01 | Paper |
An improved proof for a theorem of N. Chomsky
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3293389 (Why is no real title available?) | 1969-01-01 | Paper |
