| | 2005 | [Charatonik, Witold]
[Georgieva, Lilia]
Maier, Patrick | [Ong, Luke] | | Bounded Model Checking of Pointer Programs
In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, 397-412 | Proceedings Article | |
| | 2005 | [Georgieva, Lilia]
Maier, Patrick | [Aichernig, Bernhard K.]
[Beckert, Bernhard] | | Description Logics for Shape Analysis
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 321-330 | Proceedings Article | |
| | 2002 | [Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.] | | | A New Clausal Class Decidable by Hyperresolution | Report | |
| | 2002 | [Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.] | [Horrocks, Ian]
[Tessaris, Sergio] | | On the Relationship Between Decidable Fragments, Non-Classical Logics, and Description Logics
In: Proceedings of the International Workshop on Description Logics (DL'2002), 25-36 | 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 | |
1 |
| Giunchiglia, Enrico (ed.) |
| |
1 |
| Giunchiglia, Fausto (ed.) |
| |