|
|
IWIL 2012: Author IndexAuthor | Papers |
---|
B | Benzmüller, Christoph | Understanding LEO-II’s proofs | Bjorner, Nikolaj | Engineering Theories with Z3 | G | Giese, Martin | Efficient Rule-Matching for Hyper-Tableaux | H | Holen, Bjarne | Efficient Rule-Matching for Hyper-Tableaux | Hovland, Dag | Efficient Rule-Matching for Hyper-Tableaux | O | Otten, Jens | Implementing Connection Calculi for First-order Modal Logics | R | Rümmer, Philipp | Craig Interpolation for the Integers: Results, Implementation, and Experiences | S | Sultana, Nik | Understanding LEO-II’s proofs |
|
|
|