| Publication | Date of Publication | Type |
|---|
Regular sequence operations and their use in database queries
Journal of Computer and System Sciences | 1998-12-08 | Paper |
On decompositions of chain datalog programs into P (left-)linear 1-rule components
The Journal of Logic Programming | 1997-03-17 | Paper |
Interval queries on object histories
Theoretical Computer Science | 1997-02-28 | Paper |
Content-related interval queries on object histories
Information and Computation | 1993-06-29 | Paper |
Localizable constraints for object histories
Theoretical Computer Science | 1992-06-28 | Paper |
Input-dependent-only object histories
Journal of Computer and System Sciences | 1990-01-01 | Paper |
On the decomposition of datalog program mappings
Theoretical Computer Science | 1990-01-01 | Paper |
Cohesion of object histories
Theoretical Computer Science | 1989-01-01 | Paper |
Decision problems of object histories
Information and Computation | 1989-01-01 | Paper |
Object histories which avoid certain subsequences
Information and Computation | 1987-01-01 | Paper |
Canonical forms for interval functions
Theoretical Computer Science | 1987-01-01 | Paper |
Projection of object histories
Theoretical Computer Science | 1986-01-01 | Paper |
Computation-tuple sequences and object histories
ACM Transactions on Database Systems | 1986-01-01 | Paper |
On completing tables to satisfy functional dependencies
Theoretical Computer Science | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3883650 (Why is no real title available?) | 1984-01-01 | Paper |
Order dependency in the relational model
Theoretical Computer Science | 1983-01-01 | Paper |
On the equality of grammatical families
Journal of Computer and System Sciences | 1983-01-01 | Paper |
Characterizations for functional dependency and Boyce-Codd normal form families
Theoretical Computer Science | 1983-01-01 | Paper |
Properties of functional-dependency families
Journal of the ACM | 1982-01-01 | Paper |
A prime decomposition theorem for grammatical families
Journal of Computer and System Sciences | 1982-01-01 | Paper |
Position-restricted grammar forms and grammars
Theoretical Computer Science | 1982-01-01 | Paper |
Tree acceptors and grammar forms
Computing | 1982-01-01 | Paper |
Strict interpretations of deterministic pushdown acceptors
Mathematical Systems Theory | 1981-01-01 | Paper |
On strict interpretations of grammar forms
Mathematical Systems Theory | 1979-01-01 | Paper |
Precedence relations in grammar forms
Acta Informatica | 1978-01-01 | Paper |
Pushdown acceptor forms
Theoretical Computer Science | 1978-01-01 | Paper |
Dynamic Syntax Specification Using Grammar Forms
IEEE Transactions on Software Engineering | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3628413 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3555487 (Why is no real title available?) | 1977-01-01 | Paper |
The structure of context-free grammatical families
Journal of Computer and System Sciences | 1977-01-01 | Paper |
On quasi-interpretations of grammar forms
Computing | 1977-01-01 | Paper |
Derivation Complexity in Context-Free Grammar Forms
SIAM Journal on Computing | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3534090 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3553764 (Why is no real title available?) | 1976-01-01 | Paper |
Some uniformly erasable families of languages
Theoretical Computer Science | 1976-01-01 | Paper |
On strongly equivalent context-free grammar forms
Computing | 1976-01-01 | Paper |
Size complexity in context-free grammars forms
Journal of the ACM | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3509706 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3483582 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3483583 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3480120 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3605930 (Why is no real title available?) | 1975-01-01 | Paper |
Context-free grammar forms
Journal of Computer and System Sciences | 1975-01-01 | Paper |
Uniformly erasable AFL
Journal of Computer and System Sciences | 1975-01-01 | Paper |
TOL schemes and control sets
Information and Control | 1975-01-01 | Paper |
Substitution of grammar forms
Acta Informatica | 1975-01-01 | Paper |
The equivalence of stack-counter acceptors and quasi-realtime stack- counter acceptors
Journal of Computer and System Sciences | 1974-01-01 | Paper |
On incomparable abstract family of languages (AFL)
Journal of Computer and System Sciences | 1974-01-01 | Paper |
Grammar Schemata
Journal of the ACM | 1974-01-01 | Paper |
On the periodicity of word-length in DOL languages
Information and Control | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3548463 (Why is no real title available?) | 1973-01-01 | Paper |
Intersection-closed full AFL and the recursively enumerable languages
Information and Control | 1973-01-01 | Paper |
On AFL generators for finitely encoded AFA
Journal of Computer and System Sciences | 1973-01-01 | Paper |
Structured Storage AFA
IEEE Transactions on Computers | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3557255 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3380158 (Why is no real title available?) | 1972-01-01 | Paper |
Multi-stack-counter languages
Mathematical Systems Theory | 1972-01-01 | Paper |
Multitape AFA
Journal of the ACM | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3397100 (Why is no real title available?) | 1971-01-01 | Paper |
AFL with the semilinear property
Journal of Computer and System Sciences | 1971-01-01 | Paper |
Images of AFL under certain families of homomorphisms
Mathematical Systems Theory | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3310084 (Why is no real title available?) | 1970-01-01 | Paper |
Principal AFL
Journal of Computer and System Sciences | 1970-01-01 | Paper |
Substitution in families of languages
Information Sciences | 1970-01-01 | Paper |
On the closure of AFL under reversal
Information and Control | 1970-01-01 | Paper |
On the existence of generators for certain AFL
Information Sciences | 1970-01-01 | Paper |
Two-way balloon automata and AFL
Journal of the ACM | 1970-01-01 | Paper |
Studies in abstract families of languages
Memoirs of the American Mathematical Society | 1969-01-01 | Paper |
A mathematical model of transformational grammars
Information and Control | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3280081 (Why is no real title available?) | 1968-01-01 | Paper |
A note on preservation of languages by transducers
Information and Control | 1968-01-01 | Paper |
Control sets on grammars
Mathematical Systems Theory | 1968-01-01 | Paper |
Derivation-bounded languages
Journal of Computer and System Sciences | 1968-01-01 | Paper |
One-way nondeterministic real-time list-storage languages
Journal of the ACM | 1968-01-01 | Paper |
On the elimination of endmarkers
Information and Control | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3286898 (Why is no real title available?) | 1967-01-01 | Paper |
Bracketed context-free languages
Journal of Computer and System Sciences | 1967-01-01 | Paper |
Stack automata and compiling
Journal of the ACM | 1967-01-01 | Paper |
One-way stack automata
Journal of the ACM | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3293666 (Why is no real title available?) | 1966-01-01 | Paper |
| Bounded Regular Sets | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3305067 (Why is no real title available?) | 1966-01-01 | Paper |
Semigroups, Presburger formulas, and languages
Pacific Journal of Mathematics | 1966-01-01 | Paper |
Deterministic context free languages
Information and Control | 1966-01-01 | Paper |
Finite-Turn Pushdown Automata
SIAM Journal on Control | 1966-01-01 | Paper |
Preservation of unambiguity and inherent ambiguity in context-free languages
Journal of the ACM | 1966-01-01 | Paper |
Preservation of languages by transducers
Information and Control | 1966-01-01 | Paper |
Ambiguity in context free languages
Journal of the ACM | 1966-01-01 | Paper |
Mappings which preserve context sensitive languages
Information and Control | 1966-01-01 | Paper |
A Characterization of Machine Mappings
Canadian Journal of Mathematics | 1966-01-01 | Paper |
| The Category of Cofinal Types. I | 1965-01-01 | Paper |
Mappings of languages by two-tape devices
Journal of the ACM | 1965-01-01 | Paper |
Sequences in context free languages
Illinois Journal of Mathematics | 1965-01-01 | Paper |
Bounded Algol-Like Languages
Transactions of the American Mathematical Society | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3239534 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3192072 (Why is no real title available?) | 1963-01-01 | Paper |
Quotients of Context-Free Languages
Journal of the ACM | 1963-01-01 | Paper |
Operations Which Preserve Definability in Languages
Journal of the ACM | 1963-01-01 | Paper |
Some Recursively Unsolvable Problems in ALGOL-Like Languages
Journal of the ACM | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3167394 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3261621 (Why is no real title available?) | 1962-01-01 | Paper |
Two Families of Languages Related to ALGOL
Journal of the ACM | 1962-01-01 | Paper |
Two Families of Languages Related to ALGOL
Journal of the ACM | 1962-01-01 | Paper |
A Comparison of the Work Done by Generalized Sequential Machines and Turning Machines
Transactions of the American Mathematical Society | 1962-01-01 | Paper |
| Distinguishability of a Semi-Group by a Machine | 1961-01-01 | Paper |
Compatibility of States in Input-Independent Machines
Journal of the ACM | 1961-01-01 | Paper |
Sets of Tapes Accepted by Different Types of Automata
Journal of the ACM | 1961-01-01 | Paper |
| Some Remarks on Abstract Machines | 1960-01-01 | Paper |
Connective Properties Preserved in Minimal State Machines
Journal of the ACM | 1960-01-01 | Paper |
| Some Operators on Uniform Spaces | 1959-01-01 | Paper |
On the Reduction of Superfluous States in a Sequential Machine
Journal of the ACM | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3231567 (Why is no real title available?) | 1958-01-01 | Paper |
| On the Existence of Complete Boolean Algebras Whose Principal Ideals are Isomorphic to Each Other | 1958-01-01 | Paper |
On the Length of the Smallest Uniform Experiment which Distinguishes the Terminal States of a Machine
Journal of the ACM | 1958-01-01 | Paper |
On mappings from the family of well ordered subsets of a set
Pacific Journal of Mathematics | 1956-01-01 | Paper |
Sets which are not homeomorphic by m-decomposition
Annals of Mathematics. Second Series | 1956-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 |
Decompositions of a set into disjoint pairs
Fundamenta Mathematicae | 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
American Journal of Mathematics | 1954-01-01 | Paper |
| Some Remarks on Order Types and Decompositions of Sets | 1953-01-01 | Paper |
| Real-Valued Functions on Partially Ordered Sets | 1953-01-01 | Paper |
| A Cardinal Number Associated with a Family of Sets | 1953-01-01 | Paper |
A class of everywhere branching sets
Duke Mathematical Journal | 1953-01-01 | Paper |
On the distinct sums of λ-type transfinite series obtained by permuting the elements of a fixed λ-type series
Fundamenta Mathematicae | 1953-01-01 | Paper |
Some remarks on a relation between sets and elements
Fundamenta Mathematicae | 1953-01-01 | Paper |
