The Spectra of Words.- On the Undecidability of Coherent Logic.- Löb's Logic Meets the ?-Calculus...

Term rewriting systems developed out of mathematical logic and are an important part of theoretic...