Searching for authors named "Lilia Georgieva" – sorted by Relevance.
-
Description Logics for Shape Analysis
- Description Logics for Shape Analysis Lilia Georgieva School of Mathematical and Computer Sciences
- Cited by 5 (0 self) – Add To MetaCart
-
A New Clausal Class Decidable by Hyperresolution
- by Hyperresolution Lilia Georgieva, Ullrich Hustadt, and Renate A. Schmidt Department of Computer Science University
- Cited by 9 (4 self) – Add To MetaCart
-
Computational Space Efficiency and Minimal Model Generation for Guarded Formulae
- Computational space eciency and minimal model generation for guarded formulae Lilia Georgieva 1
- Cited by 8 (6 self) – Add To MetaCart
-
Hyperresolution for guarded formulae
- Hyperresolution for Guarded Formulae Lilia Georgieva 1 , Ullrich Hustadt 2 and Renate A. Schmidt 1
- Cited by 14 (10 self) – Add To MetaCart
-
Hyperresolution for Guarded Formulae
- Hyperresolution for Guarded Formulae Lilia Georgieva 1 , Ullrich Hustadt 2 and Renate A
- Add To MetaCart

