Searching for authors named "Lilia Georgieva" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
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
Showing 1 through 5.
