Fedor
/
Nederlandse-Bibliografie-Totaal-NBT
/
Login
Register
Netwerk Digitaal Erfgoed
Nederlandse Bibliografie Totaal (NBT)
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
Graphs
1
Services
2
p163085587
p163085587
http://data.bibliotheken.nl/id/thes/p163085587
Non-finitely axiomatizable, union-free reducts of algebras of relations / Ian Hodkinson, Szabolcs Mikulás
Axiomatizing complex algebras by games / Ian Hodkinson, Szabolcs Mikulás, Yde Venema
Canonical varieties with no canonical axiomatisation / Ian Hodkinson, Yde Vennema
author
Relation algebras by games / Robin Hirsch, Ian Hodkinson
All normal extensions of S5-squared are finitely axiomatizable / Nick Bezhanishvili, Ian Hodkinson
Erds graphs resolve Fine's canonicity problem / R. Goldblatt, I. Hodkinson, Y. Venema
contributor
p163085587
http://data.bibliotheken.nl/id/thes/p163085587