Solving Boolean Equation Systems
No Thumbnail Available
URL
Journal Title
Journal ISSN
Volume Title
Helsinki University of Technology |
Licentiate thesis
Checking the digitized thesis and permission for publishing
Instructions for the author
Instructions for the author
Authors
Date
2005
Department
Major/Subject
Tietojenkäsittelyteoria
Mcode
T-119
Degree programme
Language
en
Pages
62
Series
Description
Supervisor
Niemelä, IlkkaThesis advisor
Niemelä, IlkkaKeywords
Boolean equation systems, Boolen yhtälöryhmät, computer aided verification, tietokoneavusteinen verifiointi, model checking, mallintarkastus, logic programs, logiikkaohjelmat, stable model semantics, stabiilien mallien semantiikka