|
|
IWIL 2012: Author Index| Author | 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 |
|
|
|
