Computational Space Efficience and Minimal Model Generation for Guarded Formulae

Lilia Georgieva, U Hustadt, R Schmidt

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

Original languageEnglish
Title of host publicationLogic for Programming, Artificial Intelligence, and Reasoning
Subtitle of host publication8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings
Pages85-99
Number of pages15
Volume2250
ISBN (Electronic)978-3-540-45653-7
DOIs
Publication statusPublished - 2001

Publication series

NameLecture Notes in Computer Science
Volume2250
ISSN (Print)0302-9743

Cite this