☰
Explorar
Iniciar sesión
Crear una nueva cuenta
Pubblicare
×
Descargar
No category
Automata and Logic
Slide 1
DuBrock
Automata, Computability, and Complexity - H-SC
A calculus for component oriented programming -
Basics of automata theory
Formal Languages and Automata Theory
Document
automata-theoretic model checking
Database languages
Tree Automata - The Blavatnik School of Computer Science
LTL Strategies