Record link: 
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37126
http://hdl.handle.net/20.500.12708/12419
-
Title: 
Counter lattice generation for non-provable formulas
en
Citation: 
Zugaj, A. (2006). Counter lattice generation for non-provable formulas [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37126
-
CatalogPlus: 
AC05840662
-
Publication Type: 
Thesis - Masterarbeit
en
Language: 
English
-
Authors: 
Zugaj, Andreas 
-
Advisor: 
Egly, Uwe
-
Organisational Unit: 
E184 - Institut für Informationssysteme 
-
Date (published): 
2006
-
Number of Pages: 
80
-
License: 
In Copyright
de
Appears in Collections:
Thesis

Thumbnail
Fulltext (Version of Record (published version))
Adobe PDF
(334.7 kB)
Open Access In Copyright
Show full item record

Page view(s)

303
checked on Nov 21, 2023

Download(s)

98
checked on Nov 21, 2023

Google ScholarTM

Check