No. Title Author Year
1 07401 Abstracts Collection -- Deduction and Decision Procedures Baader, Franz et al. 2007
2 07401 Executive Summary -- Deduction and Decision Procedures Baader, Franz et al. 2007
3 Decision Procedures for Loop Detection Thiemann, René et al. 2007
4 From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems Ghilardi, Silvio et al. 2007
5 Implementing RPO and POLO using SAT Schneider-Kamp, Peter et al. 2007
6 Local Theory Extensions, Hierarchical Reasoning and Applications to Verification Sofronie-Stokkermans, Viorica et al. 2007
7 Termination of Programs using Term Rewriting and SAT Solving Giesl, Jürgen et al. 2007
Current Page :
Number of result pages: 1
Number of documents: 7


DROPS-Home | Fulltext Search | Imprint Published by LZI