Définitions récursives par cas

B. Courcelle and F. Lavandier
RAIRO. Inform. théor., 18 2 (1984) 91-129
Published online: 01 February 2017
DOI: 10.1051/ita/1984180200911

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

Select your author(s):


Search method: