Lilia Georgieva (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: Hyperresolution for guarded formulae. J. Symb. Comput. 36(1-2): 163-192 (2003)

2 Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: A New Clausal Class Decidable by Hyperresolution. CADE 2002: 260-274

1 Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. LPAR 2001: 85-99

Selection of 3 from 7 records - Lilia Georgieva has 5 coauthors

3		Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: Hyperresolution for guarded formulae. J. Symb. Comput. 36(1-2): 163-192 (2003)
2		Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: A New Clausal Class Decidable by Hyperresolution. CADE 2002: 260-274
1		Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. LPAR 2001: 85-99