| Publication | Date of Publication | Type |
|---|
Termination proofs and the length of derivations
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Incremental termination proofs and the length of derivations
Rewriting Techniques and Applications | 2022-12-09 | Paper |
An Algebraic Point of View on the Crane Beach Property
Computer Science Logic | 2009-03-12 | Paper |
First-order expressibility of languages with neutral letters or: The Crane Beach conjecture
Journal of Computer and System Sciences | 2005-05-12 | Paper |
| scientific article; zbMATH DE number 2079028 (Why is no real title available?) | 2004-07-21 | Paper |
| scientific article; zbMATH DE number 1688383 (Why is no real title available?) | 2002-01-09 | Paper |
The descriptive complexity approach to LOGCFL
Journal of Computer and System Sciences | 2001-10-14 | Paper |
| scientific article; zbMATH DE number 1424044 (Why is no real title available?) | 2000-03-23 | Paper |
| scientific article; zbMATH DE number 1304331 (Why is no real title available?) | 1999-11-15 | Paper |
Tree-definable linear orders
Order | 1999-09-07 | Paper |
| scientific article; zbMATH DE number 1304315 (Why is no real title available?) | 1999-06-17 | Paper |
Positive versions of polynomial time
Information and Computation | 1999-03-22 | Paper |
Subclasses of binary NP
Journal Of Logic And Computation | 1998-07-28 | Paper |
| scientific article; zbMATH DE number 515741 (Why is no real title available?) | 1994-04-04 | Paper |
| scientific article; zbMATH DE number 177454 (Why is no real title available?) | 1993-05-18 | Paper |
A comparison of compatible, finite, and inductive graph properties
Theoretical Computer Science | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4160146 (Why is no real title available?) | 1991-01-01 | Paper |
Some modifications of auxiliary pushdown automata
RAIRO - Theoretical Informatics and Applications | 1991-01-01 | Paper |
The complexity of graph languages generated by hyperedge replacement
Acta Informatica | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4053039 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4060748 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4110084 (Why is no real title available?) | 1988-01-01 | Paper |
Lower time bounds for integer programming with two variables
Information Processing Letters | 1985-01-01 | Paper |
BPP and the polynomial hierarchy
Information Processing Letters | 1983-01-01 | Paper |
Linear transformations on matrices: rank preservers and determinant preservers (Note)
Linear and Multilinear Algebra | 1981-01-01 | Paper |
