29 citations · 80 across the 13 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.PL2012
Abstract Effects and Proof-Relevant Logical Relations
Nick Benton, Martin Hofmann, Vivek Nigam
We introduce a novel variant of logical relations that maps types not merely to partial equivalence relations on values, as is commonly done, but rather to a proof-relevant general…
cs.FL2012★ 1 cited
Learn with SAT to Minimize Büchi Automata
Stephan Barth, Martin Hofmann
We describe a minimization procedure for nondeterministic Büchi automata (NBA). For an automaton A another automaton A_min with the minimal number of states is learned with the hel…