Title: Counter lattice generation for non-provable formulas
Language: English
Authors: Zugaj, Andreas 
Qualification level: Diploma
Advisor: Egly, Uwe
Issue Date: 2006
Number of Pages: 80
Qualification level: Diploma
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37126
http://hdl.handle.net/20.500.12708/12419
Library ID: AC05840662
Organisation: E184 - Institut für Informationssysteme 
Publication Type: Thesis
Hochschulschrift
Appears in Collections:Thesis

Files in this item:

File Description SizeFormat
Counter lattice generation for non-provable formulas.pdf334.7 kBAdobe PDFThumbnail
 View/Open
Show full item record

Page view(s)

14
checked on Mar 1, 2021

Download(s)

57
checked on Mar 1, 2021

Google ScholarTM

Check


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.