Searching for authors named "Johannes Waldmann" – sorted by Relevance.
-
Arctic termination
- Arctic Termination Johannes Waldmann 1 Hochschule für Technik, Wirtschaft und Kultur (FH) Leipzig
- Cited by 2 (1 self) – Add To MetaCart
-
Arctic Termination... Below Zero
- Arctic Termination . . . Below Zero Adam Koprowski 1 and Johannes Waldmann 2 1 Department
- Add To MetaCart
-
Nimm Zwei
- Nimm Zwei Johannes Waldmann Friedrich--Schiller--Universitat Jena x September 17, 1997 Abstract
- Add To MetaCart
-
Termination proofs for string rewriting systems via inverse match-bounds
- Hofbauer ‡ , and Johannes Waldmann § ABSTRACT Annotating a letter by a number, one can record information
- Cited by 4 (2 self) – Add To MetaCart
-
Decomposing terminating rewrite relations
- Waldmann 3 1 Department of Computer Science, Vrije Universiteit Amsterdam De Boelelaan 1081, 1081 HV
- Cited by 1 (0 self) – Add To MetaCart
-
On tree automata that certify termination of left-linear term rewriting systems
- ⋆ , Dieter Hofbauer 2 , Johannes Waldmann 3 , and Hans Zantema 4 1 National Institute of Aerospace, 144
- Cited by 5 (1 self) – Add To MetaCart

