Searching for authors named "Robert Goldblatt" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
A calculus of terms for coalgebras of polynomial functors
- …://www.elsevier.nl/locate/entcs/volume44.html 24 pages A Calculus of Terms for Coalgebras of Polynomial Functors Robert Goldblatt 1 Centre…
- Cited by 7 (0 self) – Add To MetaCart
-
Equational Logic of Polynomial Coalgebras
- …Equational Logic of Polynomial Coalgebras Robert Goldblatt Centre for Logic, Language…
- Cited by 5 (2 self) – Add To MetaCart
-
R.: Axiomatic Classes of Intuitionistic Models
- …Axiomatic Classes of Intuitionistic Models Robert Goldblatt (Victoria University of Wellington…
- Cited by 1 (0 self) – Add To MetaCart
-
Enlargements of Polynomial Coalgebras
- … OF POLYNOMIAL COALGEBRAS* ROBERT GOLDBLATT Centre for Logic, Language and Computation Victoria University…
- Cited by 3 (3 self) – Add To MetaCart
-
Observational Ultraproducts of Polynomial Coalgebras
- …Observational Ultraproducts of Polynomial Coalgebras* Robert Goldblatt Centre for Logic, Language…
- Cited by 4 (3 self) – Add To MetaCart
-
Final coalgebras and the Hennessy-Milner property
- …Final Coalgebras and the Hennessy-Milner Property Abstract Robert Goldblatt 1 Centre for Logic…
- Cited by 1 (1 self) – Add To MetaCart
-
Persistence and atomic generation for varieties of Boolean algebras with operators, Studia Logica 68
- …Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators Robert…
- Cited by 5 (1 self) – Add To MetaCart
-
Algebraic Polymodal Logic: A Survey
- …Algebraic Polymodal Logic: A Survey ROBERT GOLDBLATT, School of Mathematical and Computing…
- Cited by 2 (0 self) – Add To MetaCart
-
Observational Ultrapowers of Polynomial Coalgebras
- …Observational Ultrapowers of Polynomial Coalgebras Robert Goldblatt Centre for Logic, Language…
- Cited by 1 (1 self) – Add To MetaCart
-
Reflections on a Proof of Elementarity
- …Reflections on a Proof of Elementarity Robert Goldblatt Abstract This is an exposition…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
