Login / Signup

Proving and disproving confluence of context-sensitive rewriting.

Salvador LucasMiguel VítoresRaúl Gutiérrez
Published in: J. Log. Algebraic Methods Program. (2022)
Keyphrases