Constructively formalizing automata theory

Authors
Constable, RL Jackson, PB Naumov, P Uribe, J
Citation
Rl. Constable et al., Constructively formalizing automata theory, FOUNDAT COM, 2000, pp. 213-238
Categorie Soggetti
Current Book Contents
Journal title
PROOF, LANGUAGE AND INTERACTION: ESSAYS IN HONOUR OF ROBIN MILNER → ACNP
Year of publication
2000
Pages
213 - 238
Database
ISI
SICI code