Searching for authors named "Johannes Waldmann" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
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
Showing 1 through 6.
