22 |
| van der Torre, Leendert W. N. |
| |
1 |
| van Emde Boas, Peter (ed.) |
| |
2 |
| Van Hentenryck, Pascal (ed.) |
| |
1 |
| Vaz de Carvalho, Júlia (ed.) |
| |
| | 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 | |