Solving Boolean Equation Systems
| dc.contributor | Aalto-yliopisto | fi |
| dc.contributor | Aalto University | en |
| dc.contributor.advisor | Niemelä, Ilkka | |
| dc.contributor.author | Keinänen, Misa | |
| dc.contributor.department | Tietotekniikan osasto | fi |
| dc.contributor.school | Teknillinen korkeakoulu | fi |
| dc.contributor.school | Helsinki University of Technology | en |
| dc.contributor.supervisor | Niemelä, Ilkka | |
| dc.date.accessioned | 2021-04-14T21:16:36Z | |
| dc.date.available | 2021-04-14T21:16:36Z | |
| dc.date.issued | 2005 | |
| dc.format.extent | 62 | |
| dc.identifier.uri | https://aaltodoc.aalto.fi/handle/123456789/106454 | |
| dc.identifier.urn | URN:NBN:fi:aalto-202104155744 | |
| dc.language.iso | en | en |
| dc.programme.major | Tietojenkäsittelyteoria | fi |
| dc.programme.mcode | T-119 | fi |
| dc.rights.accesslevel | closedAccess | |
| dc.subject.keyword | Boolean equation systems | en |
| dc.subject.keyword | Boolen yhtälöryhmät | fi |
| dc.subject.keyword | computer aided verification | en |
| dc.subject.keyword | tietokoneavusteinen verifiointi | fi |
| dc.subject.keyword | model checking | en |
| dc.subject.keyword | mallintarkastus | fi |
| dc.subject.keyword | logic programs | en |
| dc.subject.keyword | logiikkaohjelmat | fi |
| dc.subject.keyword | stable model semantics | en |
| dc.subject.keyword | stabiilien mallien semantiikka | fi |
| dc.title | Solving Boolean Equation Systems | en |
| dc.title | Boolen yhtälöryhmien ratkaiseminen | fi |
| dc.type.okm | G3 Lisensiaatintutkimus | |
| dc.type.ontasot | Licentiate thesis | en |
| dc.type.ontasot | Lisensiaatintyö | fi |
| local.aalto.digiauth | ask | |
| local.aalto.digifolder | Aalto_19418 | |
| local.aalto.idinssi | 28914 | |
| local.aalto.openaccess | no |