Login / Signup

An almost-confluent congruential language which is not Church-Rosser congruential.

Colm Ó Dúnlaing
Published in: Theor. Comput. Sci. (2015)
Keyphrases