18 citations · 100 across the 22 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 1 cited
The Arity Hierarchy in the Polyadic -Calculus
Martin Lange
The polyadic mu-calculus is a modal fixpoint logic whose formulas define relations of nodes rather than just sets in labelled transition systems. It can express exactly the polynom…
cs.CY2015★ 7 cited
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…