| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q4287311 | 1997-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4287312 | 1994-04-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666867 | 1982-01-01 | Paper |
| ON LISP-REALIZATION OF PARTIAL RECURSIVE FUNCTIONS | 1979-01-01 | Paper |
| ON INFERENCING DYNAMICS OF AUTOMATA FROM FINITE SAMPLES | 1978-01-01 | Paper |
| ON AN AUTOMATON EQUIPPED WITH A MECHANISM OF RECURSIVE CALL | 1978-01-01 | Paper |
| ON SALOMAA'S ABSTRACT PUSHDOWN AUTOMATA | 1978-01-01 | Paper |
| ON SOME APPLICATIONS FOR STRUCTURE DIAGRAMS OF LANGUAGES | 1978-01-01 | Paper |
| AN ELEMENTARY PROOF OF R.W. RITCHIE'S THEOREM ON THE SET OF SQUARES | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4136588 | 1976-01-01 | Paper |
| ON AN APPLICATION OF L6 TO THE THEORY OF AUTOMATA | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4095896 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4095897 | 1975-01-01 | Paper |
| ON AN APPLICATION OF LIST PROCESSING TECHNIQUES TO A RECOGNITION PROBLEM | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4091487 | 1974-01-01 | Paper |
| LIST PROCESSING FOR FINDING WIRTH-WEBER TYPE PRECEDENCE RELATIONS BETWEEN SYMBOLS | 1971-01-01 | Paper |
| SYNTAX-DIRECTED TRANSLATION SCHEME OF M-S TRANSLATION IN A LIST PROCESSING LANGUAGE LISP | 1971-01-01 | Paper |
| M-S TRANSLATION IN A LIST PROCESSING LANGUAGE LISP | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5602109 | 1967-01-01 | Paper |
| ON THE SIMULATION OF REAL-TIME TURING MACHINES BY A MODIFIED SCHEPHERDSON-STURGIS' MACHINE | 1966-01-01 | Paper |
| SIMULATABILITY OF FINITE AUTOMATA BY SCHEPHERDSON AND STURGIS' MACHINES | 1966-01-01 | Paper |
| ON THE CONVERGENCE OF SOME LINEAR STATIONARY ITERATIVE PROCESSES OF SECOND DEGREE | 1963-01-01 | Paper |
| THEORY OF FINITE AUTOMATA | 1962-01-01 | Paper |
| ON A PROOF OF SCHEPHERDSON'S THEOREM | 1962-01-01 | Paper |
| Finite Automata and Asser's Function Algorithms | 1962-01-01 | Paper |
| ON SOME APPLICATIONS OF THE PUSHDOWN STORE TECHNIQUE | 1961-01-01 | Paper |
| ON THE PSEUDO UNIVERSAL TURING COMPUTER, ITS STRUCTURE AND PROGRAMMING | 1960-01-01 | Paper |
| ON SOME SEQUENTIAL EQUATIONS | 1960-01-01 | Paper |
| TURING TRANSFORMATION AND STRONG COMPUTABILITY OF TURING COMPUTERS | 1959-01-01 | Paper |
| SOME PROPERTIES OF CONVOLUTION MACHINES AND σ-COMPOSITE MACHINES | 1959-01-01 | Paper |
| ON THE EXISTENCE OF SHEFFER STROKE CLASS IN THE SEQUENTIAL MACHINES | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3254601 | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3258530 | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3258531 | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5829924 | 1954-01-01 | Paper |
