RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Subscriber Authentication Point

EDPS Account

Search

On the Decidability of the Equivalence Problem for Monadic Recursive Programs

Vladimir A. Zakharov

RAIRO-Theor. Inf. Appl., 34 2 (2000) 157-171

Published online: 15 April 2002

DOI: 10.1051/ita:2000112

This search tool will display articles in our database by authors of the selected article:

Select your author(s):

Vladimir A. Zakharov

Search method:

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)