Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Author(s) [non member] | Editor(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|---|
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
22 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
10 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
9 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
11 |
| |||||||||
10 |
| |||||||||
18 |
| |||||||||
2006 | Ganzinger, Harald [Korovin, Konstantin] | [Hermann, Miki] [Voronkov, Andrei] | Theory Instantiation In: 13th Conference on Logic for Programming Artificial Intelligence Reasoning (LPAR'06), 497-511 | Proceedings Article | ||||||
2006 | Ganzinger, Harald [Korovin, Konstantin] | [Hermann, Miki] [Voronkov, Andrei] | Theory Instantiation In: Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, 497-511 | Proceedings Article | ||||||
2005 | [Daum, Matthias] Maus, Stefan [Schirmer, Norbert] Seghir, Mohammed Nassim | [Sutcliffe, Geoff] [Voronkov, Andrei] | Integration of a Software Model Checker into Isabelle In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395 | Proceedings Article | ||||||
2002 | Ganzinger, Harald | [Voronkov, Andrei] | Shostak Light In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 332-346 | Proceedings Article | ||||||
2002 | [Georgieva, Lilia] [Hustadt, Ullrich] [Schmidt, Renate A.] | [Voronkov, Andrei] | A New Clausal Class Decidable by Hyperresolution In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 260-274 | Proceedings Article | ||||||
2002 | Hillenbrand, Thomas [Löchner, Bernd] | [Voronkov, Andrei] | The Next WALDMEISTER Loop In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 486-500 | Proceedings Article | ||||||
2002 | Weidenbach, Christoph Brahm, Uwe Hillenbrand, Thomas Keen, Enno Theobalt, Christian Topić, Dalibor | [Voronkov, Andrei] | SPASS Version 2.0 In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 275-279 | Proceedings Article |