Browsing by Author Pinto, M. Céu
Results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type | Access |
|---|---|---|---|---|
| 2008 | Boolean full Kripke structures are alg-universal | Pinto, M. Céu | preprint | openAccess |
| 2006 | Monadic dynamic algebras | Pinto, S. Marques ; Oliveira-Martins, M. Teresa ; Pinto, M. Céu | article | openAccess |