| No. |
Title |
Author |
Year |
|---|
| 1 |
Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371) |
Blanchette, Jasmin Christian et al. |
2018 |
| 2 |
Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381) |
Bjorner, Nikolaj S. et al. |
2016 |
| 3 |
Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms |
Sofronie-Stokkermans, Viorica |
2010 |
| 4 |
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification |
Sofronie-Stokkermans, Viorica et al. |
2007 |
