# | | Year | | Title | Type | |
2 |
| Ganzinger, Sofronie-Stokkermans, Waldmann [-] |
| |
| | 2006 | | Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492 | Journal Article | |
| | 2004 | | Modular Proof Systems for Partial Functions with Weak Equality
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 168-182 | Proceedings Article | |
1 |
| |
2 |
| Ganzinger, Stuber [Stuber] |
| |
2 |
| |
1 |
| Georgieva, Hustadt, Schmidt [Georgieva, Hustadt, Schmidt, Horrocks, Tessaris] |
| |
1 |
| Georgieva, Hustadt, Schmidt [Georgieva, Hustadt, Schmidt, Voronkov] |
| |
1 |
| Georgieva, Hustadt, Schmidt [Georgieva, Hustadt, Schmidt] |
| |
1 |
| Georgieva, Maier [Georgieva, Aichernig, Beckert] |
| |
1 |
| Gerber [-] |
| |
1 |
| Göbel, Maier [Göbel, Ganzha, Mayr, Vorozhtsov] |
| |
1 |
| Goncharov, Harizanov, Knight, Morozov, Romina [Goncharov, Harizanov, Knight, Morozov] |
| |
1 |
| Goranko, Hustadt, Schmidt, Vakarelov [Goranko, Hustadt, Vakarelov, Berghammer, Möller, Struth] |
| |
4 |
| Graf [-] |
| |
1 |
| Graf [Carbonell, Siekmann] |
| |
1 |
| Graf [McRobbie, Slaney] |
| |
1 |
| |
1 |
| Grenner [-] |
| |
1 |
| Gurevich, Veanes [Gurevich] |
| |
1 |
| Hagemann [-] |
| |
1 |
| Hähnle, Kerber, Weidenbach [Hähnle, Kerber] |
| |
16 |
| Hanus [-] |
| |
1 |
| |
1 |
| Hanus, Zartmann [-] |
| |
1 |
| Hillenbrand [Dahn, Vigneron] |
| |
1 |
| Hillenbrand [Sattler] |
| |
1 |
| Hillenbrand, Löchner [Löchner, Schulz] |
| |
1 |
| Hillenbrand, Löchner [Löchner, Voronkov] |
| |
1 |
| Hillenbrand, Podelski, Topić [-] |
| |