Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Alfons Geser

A Complete Characterization of Termination of 0 P 1 Q → 1 R 0 S

Applicable Algebra in Engineering, Communications and Computing

Applied Mathematics

English

Relative Undecidability in the Termination Hierarchy of Single Rewrite Rules

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English