Login / Signup

Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic Finite Automata.

Ralf Hinze
Published in: MPC (2019)
Keyphrases