Geser, A. (Alfons)
Geser, A.
VIAF ID: 200683618 ( Personal )
Permalink: http://viaf.org/viaf/200683618
Preferred Forms
- 100 1 _ ‡a Geser, A.
-
Works
Title | Sources |
---|---|
A complete characterization of termination of 0p1q 1r0s | |
Non-looping rewriting | |
Relative undecidability in term rewriting |