Lilia Georgieva

Research output

Research output per year 2001 2009 2018 2022 2024

• 16 Conference contribution
• 4 Paper
• 4 Article
• 1 Chapter
• 2 More
  • 1 Chapter (peer-reviewed)
  • 1 Editorial

Research output per year

Research output per year

Search results

• 2001

  Computational Space Efficience and Minimal Model Generation for Guarded Formulae

  Georgieva, L., Hustadt, U. & Schmidt, R., 2001, Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings. Vol. 2250. p. 85-99 15 p. (Lecture Notes in Computer Science; vol. 2250).

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