Searching for authors named Alfons Geser – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
Termination of single-threaded one-rule Semi-Thue systems
- … Geser ⋆⋆2 1 Cornell University, Dept. of Computer Science 5162 Upson Hall, Ithaca, NY 14853, USA wojtek…
- Add To MetaCart
-
Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems
- …Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems Alfons GESER…
- Cited by 2 (2 self) – Add To MetaCart
-
A solution to Zantema's problem
- …A solution to Zantema's problem Alfons GESER Universitat Passau, Fakultat fur Mathematik und…
- Cited by 3 (0 self) – Add To MetaCart
-
Termination of String Rewriting Rules That Have One Pair of Overlaps
- … Pair of Overlaps Alfons Geser ICASE, Hampton, Virginia October 2002 Since its founding, NASA has been…
- Cited by 1 (0 self) – Add To MetaCart
-
A Complete Characterization of Termination of. . .
- … Utrecht, P.O. Box 80089, NL-3508 Utrecht, The Netherlands E-mail: hansz@(email omitted); and Alfons GESER…
- Add To MetaCart
-
Parallelizing Functional Programs by Generalization
- …Parallelizing Functional Programs by Generalization Alfons Geser 1? and Sergei Gorlatch 2?? 1…
- Cited by 7 (1 self) – Add To MetaCart
-
Parallelizing Functional Programs by Term Rewriting
- …Parallelizing Functional Programs by Term Rewriting Alfons Geser 1 and Sergei Gorlatch 2 1…
- Cited by 2 (2 self) – Add To MetaCart
-
Non-Looping String Rewriting
- …Non-Looping String Rewriting Alfons GESER 1 and Hans ZANTEMA 2 1 Wilhelm-Schickard-Institut f…
- Cited by 5 (0 self) – Add To MetaCart
-
Relative Undecidability in Term Rewriting Part 2: The Confluence Hierarchy
- …Relative Undecidability in Term Rewriting Part 2: The Confluence Hierarchy Alfons Geser ICASE…
- Cited by 1 (0 self) – Add To MetaCart
-
Relative Undecidability in Term Rewriting
- …Relative Undecidability in Term Rewriting Alfons Geser 1 , Aart Middeldorp 2? , Enno Ohlebusch…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
