Relating Semantic and Proof-Theoretic Concepts for Polynominal Time Decidability of Uniform Word Problems.

Harald Ganzinger

Browse the full LICS paper archive.