| Publication | Date of Publication | Type |
|---|
| Regular sequence operations and their use in database queries | 1998-12-08 | Paper |
| On decompositions of chain datalog programs into P (left-)linear 1-rule components | 1997-03-17 | Paper |
| Interval queries on object histories | 1997-02-28 | Paper |
| Content-related interval queries on object histories | 1993-06-29 | Paper |
| Localizable constraints for object histories | 1992-06-28 | Paper |
| Input-dependent-only object histories | 1990-01-01 | Paper |
| On the decomposition of datalog program mappings | 1990-01-01 | Paper |
| Cohesion of object histories | 1989-01-01 | Paper |
| Decision problems of object histories | 1989-01-01 | Paper |
| Object histories which avoid certain subsequences | 1987-01-01 | Paper |
| Canonical forms for interval functions | 1987-01-01 | Paper |
| Projection of object histories | 1986-01-01 | Paper |
| Computation-tuple sequences and object histories | 1986-01-01 | Paper |
| On completing tables to satisfy functional dependencies | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3217646 | 1984-01-01 | Paper |
| Order dependency in the relational model | 1983-01-01 | Paper |
| On the equality of grammatical families | 1983-01-01 | Paper |
| Characterizations for functional dependency and Boyce-Codd normal form families | 1983-01-01 | Paper |
| Properties of functional-dependency families | 1982-01-01 | Paper |
| A prime decomposition theorem for grammatical families | 1982-01-01 | Paper |
| Position-restricted grammar forms and grammars | 1982-01-01 | Paper |
| Tree acceptors and grammar forms | 1982-01-01 | Paper |
| Strict interpretations of deterministic pushdown acceptors | 1981-01-01 | Paper |
| On strict interpretations of grammar forms | 1979-01-01 | Paper |
| Precedence relations in grammar forms | 1978-01-01 | Paper |
| Pushdown acceptor forms | 1978-01-01 | Paper |
| Dynamic Syntax Specification Using Grammar Forms | 1978-01-01 | Paper |
| The structure of context-free grammatical families | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4190160 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128026 | 1977-01-01 | Paper |
| On quasi-interpretations of grammar forms | 1977-01-01 | Paper |
| Derivation Complexity in Context-Free Grammar Forms | 1977-01-01 | Paper |
| Some uniformly erasable families of languages | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4110632 | 1976-01-01 | Paper |
| On strongly equivalent context-free grammar forms | 1976-01-01 | Paper |
| Size complexity in context-free grammars forms | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4127396 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4089754 | 1975-01-01 | Paper |
| Context-free grammar forms | 1975-01-01 | Paper |
| Uniformly erasable AFL | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4066625 | 1975-01-01 | Paper |
| TOL schemes and control sets | 1975-01-01 | Paper |
| Substitution of grammar forms | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4066626 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4062667 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4171568 | 1975-01-01 | Paper |
| The equivalence of stack-counter acceptors and quasi-realtime stack- counter acceptors | 1974-01-01 | Paper |
| On incomparable abstract family of languages (AFL) | 1974-01-01 | Paper |
| Grammar Schemata | 1974-01-01 | Paper |
| On the periodicity of word-length in DOL languages | 1974-01-01 | Paper |
| Intersection-closed full AFL and the recursively enumerable languages | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4122831 | 1973-01-01 | Paper |
| On AFL generators for finitely encoded AFA | 1973-01-01 | Paper |
| Structured Storage AFA | 1973-01-01 | Paper |
| Multi-stack-counter languages | 1972-01-01 | Paper |
| Multitape AFA | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133152 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5649986 | 1972-01-01 | Paper |
| AFL with the semilinear property | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5664823 | 1971-01-01 | Paper |
| Images of AFL under certain families of homomorphisms | 1971-01-01 | Paper |
| Principal AFL | 1970-01-01 | Paper |
| Substitution in families of languages | 1970-01-01 | Paper |
| On the closure of AFL under reversal | 1970-01-01 | Paper |
| On the existence of generators for certain AFL | 1970-01-01 | Paper |
| Two-way balloon automata and AFL | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5590810 | 1970-01-01 | Paper |
| Studies in abstract families of languages | 1969-01-01 | Paper |
| A mathematical model of transformational grammars | 1969-01-01 | Paper |
| A note on preservation of languages by transducers | 1968-01-01 | Paper |
| Control sets on grammars | 1968-01-01 | Paper |
| Derivation-bounded languages | 1968-01-01 | Paper |
| One-way nondeterministic real-time list-storage languages | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5565128 | 1968-01-01 | Paper |
| On the elimination of endmarkers | 1968-01-01 | Paper |
| Bracketed context-free languages | 1967-01-01 | Paper |
| Stack automata and compiling | 1967-01-01 | Paper |
| One-way stack automata | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5570214 | 1967-01-01 | Paper |
| Semigroups, Presburger formulas, and languages | 1966-01-01 | Paper |
| Deterministic context free languages | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5576254 | 1966-01-01 | Paper |
| Finite-Turn Pushdown Automata | 1966-01-01 | Paper |
| Preservation of unambiguity and inherent ambiguity in context-free languages | 1966-01-01 | Paper |
| Bounded Regular Sets | 1966-01-01 | Paper |
| Preservation of languages by transducers | 1966-01-01 | Paper |
| Ambiguity in context free languages | 1966-01-01 | Paper |
| Mappings which preserve context sensitive languages | 1966-01-01 | Paper |
| A Characterization of Machine Mappings | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586368 | 1966-01-01 | Paper |
| Mappings of languages by two-tape devices | 1965-01-01 | Paper |
| The Category of Cofinal Types. I | 1965-01-01 | Paper |
| Sequences in context free languages | 1965-01-01 | Paper |
| Bounded Algol-Like Languages | 1964-01-01 | Paper |
| Quotients of Context-Free Languages | 1963-01-01 | Paper |
| Operations Which Preserve Definability in Languages | 1963-01-01 | Paper |
| Some Recursively Unsolvable Problems in ALGOL-Like Languages | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5526986 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5728450 | 1963-01-01 | Paper |
| Two Families of Languages Related to ALGOL | 1962-01-01 | Paper |
| Two Families of Languages Related to ALGOL | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3285871 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5547589 | 1962-01-01 | Paper |
| A Comparison of the Work Done by Generalized Sequential Machines and Turning Machines | 1962-01-01 | Paper |
| Compatibility of States in Input-Independent Machines | 1961-01-01 | Paper |
| Sets of Tapes Accepted by Different Types of Automata | 1961-01-01 | Paper |
| Distinguishability of a Semi-Group by a Machine | 1961-01-01 | Paper |
| Connective Properties Preserved in Minimal State Machines | 1960-01-01 | Paper |
| Some Remarks on Abstract Machines | 1960-01-01 | Paper |
| Some Operators on Uniform Spaces | 1959-01-01 | Paper |
| On the Reduction of Superfluous States in a Sequential Machine | 1959-01-01 | Paper |
| On the Length of the Smallest Uniform Experiment which Distinguishes the Terminal States of a Machine | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5519562 | 1958-01-01 | Paper |
| On the Existence of Complete Boolean Algebras Whose Principal Ideals are Isomorphic to Each Other | 1958-01-01 | Paper |
| On mappings from the family of well ordered subsets of a set | 1956-01-01 | Paper |
| Sets which are not homeomorphic by m-decomposition | 1956-01-01 | Paper |
| Decompositions of a set into disjoint pairs | 1955-01-01 | Paper |
| Uniqueness in the Left Division of Order Types | 1955-01-01 | Paper |
| Order Types and Similarity Transformations | 1955-01-01 | Paper |
| On a Class of Pathological Functions | 1955-01-01 | Paper |
| Fixed Points of Products and Ordered Sums of Simply Ordered Sets | 1954-01-01 | Paper |
| Further Results on Order Types and Decompositions of Sets | 1954-01-01 | Paper |
| On the λ-Dimension and the A-Dimension of Partially Ordered Sets | 1954-01-01 | Paper |
| Some Remarks on Order Types and Decompositions of Sets | 1953-01-01 | Paper |
| A class of everywhere branching sets | 1953-01-01 | Paper |
| Real-Valued Functions on Partially Ordered Sets | 1953-01-01 | Paper |
| On the distinct sums of λ-type transfinite series obtained by permuting the elements of a fixed λ-type series | 1953-01-01 | Paper |
| Some remarks on a relation between sets and elements | 1953-01-01 | Paper |
| A Cardinal Number Associated with a Family of Sets | 1953-01-01 | Paper |
