Login / Signup

On the Decidability of the Equivalence Problem for Monadic Recursive Programs.

Vladimir A. Zakharov
Published in: RAIRO Theor. Informatics Appl. (2000)
Keyphrases