Login / Signup

An insertion operator preserving infinite reduction sequences.

David Chemouil
Published in: Math. Struct. Comput. Sci. (2008)
Keyphrases