Prolog infinite trees and automata

Solange Coupet-Grimal
RAIRO-Theor. Inf. Appl., 25 5 (1991) 397-418
DOI: 10.1051/ita/1991250503971

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

Select your author(s):


Search method: