13 citations · 24 across the 5 of their papers we have counts for
5 papers
Correcting Deterministic Finite Automata for Didactic Feedback
Maurice Bornett Herwig, Norbert Hundeshagen
Motivated by educational applications, we study the problem of computing all corrections that transform a finite automaton into one recognizing a given regular language L. We show…
The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs
Arno Ehle, Norbert Hundeshagen, Martin Lange
The sequent calculus is a formalism for proving validity of statements formulated in First-Order Logic. It is routinely used in computer science modules on mathematical logic. Form…
Multi-Buffer Simulations for Trace Language Inclusion
Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske +2
We consider simulation games played between Spoiler and Duplicator on two Büchi automata in which the choices made by Spoiler can be buffered by Duplicator in several buffers befor…
Two-Buffer Simulation Games
Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske +2
We consider simulation games played between Spoiler and Duplicator on two Buchi automata in which the choices made by Spoiler can be buffered by Duplicator in two different buffers…
The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs
Arno Ehle, Norbert Hundeshagen, Martin Lange
We present the Sequent Calculus Trainer, a tool that supports students in learning how to correctly construct proofs in the sequent calculus for first-order logic with equality. It…