8 citations · 13 across the 7 of their papers we have counts for
1 paper · 2 filters
Michael Färber, Cezary Kaliszyk, Josef Urban
Connection calculi allow for very compact implementations of goal-directed proof search. We give an overview of our work related to connection tableaux calculi: First, we show opti…