| Publication | Date of Publication | Type |
|---|
An efficient algorithm for local testability problem of finite state automata
Lecture Notes in Computer Science | 2023-12-12 | Paper |
A polynomial time algorithm for the local testability problem of deterministic finite automata
IEEE Transactions on Computers | 2018-09-14 | Paper |
Scheduling with deadlines and loss functions
Management Science | 2002-10-22 | Paper |
| scientific article; zbMATH DE number 1408346 (Why is no real title available?) | 2002-02-21 | Paper |
Semi-Thue systems with an inhibitor
Journal of Automated Reasoning | 2001-10-16 | Paper |
| Playing infinite games in finite time. | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1300962 (Why is no real title available?) | 1999-06-16 | Paper |
Contributions of Ronald V. Book to the theory of string-rewriting systems
Theoretical Computer Science | 1999-01-12 | Paper |
The finiteness of finitely presented monoids
Theoretical Computer Science | 1999-01-12 | Paper |
Computing the Order of a Locally Testable Automaton
SIAM Journal on Computing | 1995-04-06 | Paper |
Infinite games played on finite graphs
Annals of Pure and Applied Logic | 1994-03-07 | Paper |
| scientific article; zbMATH DE number 140486 (Why is no real title available?) | 1993-03-28 | Paper |
THE DEVELOPMENT OF FORMAL LANGUAGE THEORY SINCE 1956
International Journal of Foundations of Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4155920 (Why is no real title available?) | 1989-01-01 | Paper |
Church-Rosser Thue systems and formal languages
Journal of the ACM | 1988-01-01 | Paper |
Special monoids and special Thue systems
Journal of Algebra | 1987-01-01 | Paper |
An \(O(| T| ^ 3)\) algorithm for testing the Church-Rosser property of Thue systems
Theoretical Computer Science | 1985-01-01 | Paper |
The Church-Rosser property and special Thue systems
Theoretical Computer Science | 1985-01-01 | Paper |
The undecidability of the preperfectness of Thue systems
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3841210 (Why is no real title available?) | 1982-01-01 | Paper |
Regularity-preserving relations
Theoretical Computer Science | 1976-01-01 | Paper |
The Burnside problem for semigroups
Journal of Algebra | 1975-01-01 | Paper |
Algebraic decision procedures for local testability
Mathematical Systems Theory | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3368555 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3407193 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3324744 (Why is no real title available?) | 1968-01-01 | Paper |
Parenthesis Grammars
Journal of the ACM | 1967-01-01 | Paper |
The loop complexity of pure-group events
Information and Control | 1967-01-01 | Paper |
Testing and generating infinite sequences by a finite automaton
Information and Control | 1966-01-01 | Paper |
| Undefinability of Addition from One Unary Operator | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3179459 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3220067 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3189704 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3219597 (Why is no real title available?) | 1961-01-01 | Paper |
The Theory of Automata, a Survey
Advances in Computers | 1961-01-01 | Paper |
On the measure of normal formulas
Pacific Journal of Mathematics | 1957-01-01 | Paper |
| A Non-Standard Truth Definition | 1954-01-01 | Paper |
Complete Decoding Nets: General Theory and Minimality
Journal of the Society for Industrial and Applied Mathematics | 1954-01-01 | Paper |
| scientific article; zbMATH DE number 3078641 (Why is no real title available?) | 1953-01-01 | Paper |
Some formal relative consistency proofs
Journal of Symbolic Logic | 1953-01-01 | Paper |
A theorem about infinite-valued sentential logic
Journal of Symbolic Logic | 1951-01-01 | Paper |
