Computational Space Efficiency and Minimal Model Generation for Guarded Formulae

Research output: Contribution to conference › Paper › peer-review

Original language	English
Pages	34-43
Number of pages	10
Publication status	Published - 2001
Event	International Joint Conference of Automated Reasoning - Siena, Italy Duration: 1 Jan 2001 → …

Conference	International Joint Conference of Automated Reasoning
Abbreviated title	IJCAR2001
Country/Territory	Italy
City	Siena
Period	1/01/01 → …

Cite this

@conference{7ca7c171ca654d53804eba60d65848c1,

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

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

year = "2001",

language = "English",

pages = "34--43",

note = "International Joint Conference of Automated Reasoning, IJCAR2001 ; Conference date: 01-01-2001",

}