| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6204002 | 2024-04-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6204015 | 2024-04-08 | Paper |
| S. Barry Cooper (1943–2015) | 2018-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4584891 | 2018-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2906561 | 2012-09-05 | Paper |
| Travelling with Dexter Kozen | 2012-07-16 | Paper |
| Turing Machines for Dummies | 2012-06-15 | Paper |
| Playing Savitch and Cooking Games | 2010-03-09 | Paper |
| The History of the LLL-Algorithm | 2010-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431234 | 2003-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385524 | 1998-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4348133 | 1997-09-22 | Paper |
| The STO-problem is NP-hard | 1995-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4865619 | 1995-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281501 | 1994-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4029597 | 1993-03-28 | Paper |
| Maintaining multiple representations of dynamic data structures | 1989-01-01 | Paper |
| Simplicity, immunity, relativizations and nondeterminism | 1989-01-01 | Paper |
| Space measures for storage modification machines | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4729324 | 1989-01-01 | Paper |
| Integrating relational databases and constraint languages | 1989-01-01 | Paper |
| The problem of space invariance for sequential machines | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3806811 | 1988-01-01 | Paper |
| Two results on tables | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3751005 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3756511 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681905 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3740235 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5184892 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5186732 | 1984-01-01 | Paper |
| A note on Master keys for group sharing | 1982-01-01 | Paper |
| An appraisal of computational complexity for operations researchers | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3944034 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4746785 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3918094 | 1981-01-01 | Paper |
| On the \(\Omega (n\log n)\) lower bound for convex hull and maximal vector determination | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922173 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3049812 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4179039 | 1979-01-01 | Paper |
| A note on the recursive enumerability of some classes of recursively enumerable languages | 1978-01-01 | Paper |
| Some elementary proofs of lower bounds in complexity theory | 1978-01-01 | Paper |
| Some applications of the McCreight-Meyer algorithm in abstract complexity theory | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4158490 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4168049 | 1978-01-01 | Paper |
| Preserving order in a forest in less than logarithmic time and linear space | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4124287 | 1977-01-01 | Paper |
| Design and implementation of an efficient priority queue | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4138097 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4099191 | 1976-01-01 | Paper |
| The non-renamability of honesty classes | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4088272 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4051596 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4767716 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5672875 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5679707 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4095873 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5597665 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5601309 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5603259 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5609452 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5609453 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5656945 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5550383 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5522736 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5546537 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5546538 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5583917 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5521295 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5515399 | 1965-01-01 | Paper |
