Handbook of Automata Theory


Book articles | Book details

pp: 1189–1215

DOI: 10.4171/Automata-1/32

Symbolic methods and automata

Bernard Boigelot[1]

(1) Université de Liège, Belgium

No abstract available for this article.

No keywords available for this article.

BACK TO TOP