aalto1 untyped-item.component.html

Solving Boolean Equation Systems

Thumbnail Image

URL

Journal Title

Journal ISSN

Volume Title

Helsinki University of Technology | Licentiate thesis
Electronic archive copy is available via Aalto Thesis Database.
Checking the digitized thesis and permission for publishing
Instructions for the author

Authors

Date

2005

Department

Tietotekniikan osasto

Major/Subject

Tietojenkäsittelyteoria

Mcode

T-119

Degree programme

Language

en

Pages

62

Series

Description

Supervisor

Niemelä, Ilkka

Thesis advisor

Niemelä, Ilkka

Keywords

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

Other note

Citation

Permanent link to this item

https://urn.fi/URN:NBN:fi:aalto-202104155744

Collections

[lic] Teknillinen korkeakoulu / TKK

Endorsement

Review

Supplemented By

Referenced By