Login / Signup
Constructively formalizing automata theory.
Robert L. Constable
Paul B. Jackson
Pavel Naumov
Juan C. Uribe
Published in:
Proof, Language, and Interaction (2000)
Keyphrases
</>
automata theory
graph theory
learning theory
student learning
computer science
active learning
learning objectives
college level
learning strategies
social network analysis