Browsing by Subject Algebraic universality
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 |
1998 | Separable Kripke structures are algebraically universal | Pinto, M. C. | preprint | openAccess |