|
Journals in DBLP
- Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
Empirically Successful Automated Reasoning: Systems Issue. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2006, v:36, n:4, pp:287- [Journal]
- Bernd Löchner
Things to Know when Implementing KBO. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2006, v:36, n:4, pp:289-310 [Journal]
- Michael Beeson
Mathematical Induction in Otter-Lambda. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2006, v:36, n:4, pp:311-344 [Journal]
- Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
Answer Set Programming Based on Propositional Satisfiability. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2006, v:36, n:4, pp:345-377 [Journal]
- Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
An Integrated Approach to High Integrity Software Verification. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2006, v:36, n:4, pp:379-410 [Journal]
|