Pinto, M. Céu
![](/image/cris/bar-loader.gif)
Name
Pinto, M. Céu
![](/image/cris/bar-loader.gif)
Publications
(All)
Results 1-1 of 1 (Search time: 0.004 seconds).
Issue Date | Title | Author(s) | Type | Access | |
---|---|---|---|---|---|
1 | 2008 | Boolean full Kripke structures are alg-universal | Pinto, M. Céu | preprint | openAccess |