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 |