Computational Space Efficience and Minimal Model Generation for Guarded Formulae

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Original language	English
Title of host publication	Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle of host publication	8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings
Pages	85-99
Number of pages	15
Volume	2250
ISBN (Electronic)	978-3-540-45653-7
DOIs	https://doi.org/10.1007/3-540-45653-8_6
Publication status	Published - 2001

Name	Lecture Notes in Computer Science
Volume	2250
ISSN (Print)	0302-9743

Access to Document

Georgieva, L., Hustadt, U., & Schmidt, R. (2001). Computational Space Efficience and Minimal Model Generation for Guarded Formulae. In Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings (Vol. 2250, pp. 85-99). (Lecture Notes in Computer Science; Vol. 2250). https://doi.org/10.1007/3-540-45653-8_6

@inbook{055019674c1541569d2a9585bac0a5ab,

title = "Computational Space Efficience and Minimal Model Generation for Guarded Formulae",

author = "Lilia Georgieva and U Hustadt and R Schmidt",

year = "2001",

doi = "10.1007/3-540-45653-8\_6",

language = "English",

isbn = "978-3-540-42957-9",

volume = "2250",

series = "Lecture Notes in Computer Science",

pages = "85--99",

booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning",

}

Georgieva, L, Hustadt, U & Schmidt, R 2001, Computational Space Efficience and Minimal Model Generation for Guarded Formulae. in Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings. vol. 2250, Lecture Notes in Computer Science, vol. 2250, pp. 85-99. https://doi.org/10.1007/3-540-45653-8_6

Computational Space Efficience and Minimal Model Generation for Guarded Formulae. / Georgieva, Lilia; Hustadt, U; Schmidt, R.
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings. Vol. 2250 2001. p. 85-99 (Lecture Notes in Computer Science; Vol. 2250).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

TY - CHAP

T1 - Computational Space Efficience and Minimal Model Generation for Guarded Formulae

AU - Georgieva, Lilia

AU - Hustadt, U

AU - Schmidt, R

PY - 2001

Y1 - 2001

U2 - 10.1007/3-540-45653-8_6

DO - 10.1007/3-540-45653-8_6

M3 - Chapter (peer-reviewed)

SN - 978-3-540-42957-9

VL - 2250

T3 - Lecture Notes in Computer Science

SP - 85

EP - 99

BT - Logic for Programming, Artificial Intelligence, and Reasoning

ER -