Login / Signup

A Characterization of Weakly Church-Rosser Abstract Reduction Systems That Are Not Church-Rosser.

Benedetto IntrigilaIvano SalvoStefano Sorgi
Published in: Inf. Comput. (2001)
Keyphrases