Cited By
View all- Guller D(2018)Automated Deduction in Gödel LogicACM Transactions on Computational Logic10.1145/321881719:3(1-28)Online publication date: 30-Aug-2018
- Wisniewski MSteen AKern KBenzmüller C(2016)Effective Normalization Techniques for HOLProceedings of the 8th International Joint Conference on Automated Reasoning - Volume 970610.1007/978-3-319-40229-1_25(362-370)Online publication date: 27-Jun-2016
- Lescuyer SConchon S(2009)Improving Coq propositional reasoning using a lazy CNF conversion schemeProceedings of the 7th international conference on Frontiers of combining systems10.5555/1807707.1807727(287-303)Online publication date: 16-Sep-2009
- Show More Cited By