RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

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

B. Courcelle

F. Lavandier

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)