Bibliographic Metadata

Title
Counter lattice generation for non-provable formulas / by Andreas Zugaj
AuthorZugaj, Andreas
CensorEgly, Uwe
Published2006
DescriptionII, 80 Bl. : graph. Darst.
Institutional NoteWien, Techn. Univ., Mag.-Arb., 2006
LanguageEnglish
Bibl. ReferenceOeBB
Document typeMaster Thesis
URNurn:nbn:at:at-ubtuw:1-37126 Persistent Identifier (URN)
Restriction-Information
 The work is publicly available
Files
Counter lattice generation for non-provable formulas [0.32 mb]
Links
Reference
Classification