| | 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 | |
| | 1996 | Weidenbach, Christoph | [Hermann, Miki]
[Salzer, Gernot] | | Sorted Unification and Its Application to Automated Theorem Proving
In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, 67-76 | Proceedings Article | |
1 |
| Hermenegildo, Manuel (ed.) |
| |