Skip to contents Hodkinson, Ian D. [Author] Adaptations of invertebrates to terrestrial Arctic environments Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Trondheim: Tapir Akad. Forl., 2005 Published in: Det Kongelige Norske videnskabers selskab: Skrifter ; 200502 Hirsch, Robin [Author]; Hodkinson, Ian [Author] Relation algebras by games - [1. ed.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam [u.a.]: Elsevier, 2002 Published in: Studies in logic and the foundations of mathematics ; 14700 Hodkinson, Stephen [Editor]; Morris, Ian Macgregor [Editor]; Christesen, Paul [Contributor] Sparta in modern thought : politics, history and culture Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Swansea: Classical Press of Wales, 2012 Gabbay, Dov M. [Author] ; Hodkinson, Ian [Other]; Reynolds, Mark [Other]; Finger, Marcelo [Other] Temporal logic : mathematical foundations and computational aspects Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1994-2003 Published in: Oxford logic guides ; . Gabbay, Dov M. [Author]; Hodkinson, Ian [Author]; Reynolds, Mark [Author] Temporal logic / 1 - [Repr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 2003 Published in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 1,2003 - Oxford logic guides ; 28,2003 Gabbay, Dov M. [Author]; Hodkinson, Ian [Author]; Reynolds, Mark [Author] Temporal logic / 2 - [Repr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 2003 Published in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 2,2003 - Oxford logic guides ; 40,2003 Gabbay, Dov M. [Author]; Hodkinson, Ian [Author]; Reynolds, Mark [Author] Temporal logic / 1 Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1994 Published in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 1.1994 - Oxford logic guides ; 28.1994 Hirsch, Robin [Author] ; Hodkinson, Ian [Other] ScienceDirect (Online service) Relation algebras by games - [1st ed] Books View online Schließen > Access ... to E-book via ScienceDirect (Volltext ; Deutschlandweit zugänglich) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Boston: North Holland/Elsevier, 2002 ; Online-Ausg.] Published in: Studies in logic and the foundations of mathematics ; v. 147 Hodkinson, Ian Non-representable relation algebras from vector spaces Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Victoria University of Wellington Library, 2020 Published in: The Australasian Journal of Logic, 17 (2020) 2, Seite 82-109 Hodkinson, Ian On the variety generated by completions of representable relation algebras Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2020 Published in: Algebra universalis, 81 (2020) 2 Hodkinson, Ian Relational and Algebraic Methods in Computer Science: Connections between Relation Algebras and Cylindric Algebras Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2015 Published in: Relational and Algebraic Methods in Computer Science (2015), Seite 27-42 Hodkinson, Ian A construction of cylindric and polyadic algebras from atomic relation algebras Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2012 Published in: Algebra universalis, 68 (2012) 3-4, Seite 257-285 Hodkinson, Ian Jouko Väänänen. Models and games. Cambridge Studies in Advanced Mathematics, vol. 132. Cambridge University Press, Cambridge, 2011, xii + 367 pp Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2012 Published in: The Bulletin of Symbolic Logic, 18 (2012) 3, Seite 406-408 Hodkinson, Ian Review: Models and games. Cambridge Studies in Advanced Mathematics, vol. 132 Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Symbolic Logic, 2012 Published in: The Bulletin of Symbolic Logic, 18 (2012) 3, Seite 406-408 HODKINSON, IAN THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2010 Published in: The Review of Symbolic Logic, 3 (2010) 2, Seite 279-286 Hodkinson, Ian Complexity of monodic guarded fragments over linear and real time Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2006 Published in: Annals of Pure and Applied Logic, 138 (2006) 1-3, Seite 94-125 Hodkinson, Ian Hybrid Formulas and Elementarily Generated Modal Logics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Duke University Press, 2006 Published in: Notre Dame Journal of Formal Logic, 47 (2006) 4 Hodkinson, Ian Games, logic, and constructive sets, edited by G. Mints and R. Muskens, CSLI Lecture Notes, vol. 161. CSLI Publications, Stanford, CA, 2003, xii + 128 pp Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2005 Published in: Bulletin of Symbolic Logic, 11 (2005) 3, Seite 439-442 Hodkinson, Ian Review: Games, Logic, and Constructive Sets Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Symbolic Logic, 2005 Published in: The Bulletin of Symbolic Logic, 11 (2005) 3, Seite 439-442 Hodkinson, Ian GLOBAL CHANGE IN THE ARCTIC RIViERA Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2001 Published in: Global Ecology and Biogeography, 10 (2001) 1, Seite 111-112
Hodkinson, Ian D. [Author] Adaptations of invertebrates to terrestrial Arctic environments Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Trondheim: Tapir Akad. Forl., 2005 Published in: Det Kongelige Norske videnskabers selskab: Skrifter ; 200502
Hirsch, Robin [Author]; Hodkinson, Ian [Author] Relation algebras by games - [1. ed.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam [u.a.]: Elsevier, 2002 Published in: Studies in logic and the foundations of mathematics ; 14700
Hodkinson, Stephen [Editor]; Morris, Ian Macgregor [Editor]; Christesen, Paul [Contributor] Sparta in modern thought : politics, history and culture Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Swansea: Classical Press of Wales, 2012
Gabbay, Dov M. [Author] ; Hodkinson, Ian [Other]; Reynolds, Mark [Other]; Finger, Marcelo [Other] Temporal logic : mathematical foundations and computational aspects Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1994-2003 Published in: Oxford logic guides ; .
Gabbay, Dov M. [Author]; Hodkinson, Ian [Author]; Reynolds, Mark [Author] Temporal logic / 1 - [Repr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 2003 Published in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 1,2003 - Oxford logic guides ; 28,2003
Gabbay, Dov M. [Author]; Hodkinson, Ian [Author]; Reynolds, Mark [Author] Temporal logic / 2 - [Repr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 2003 Published in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 2,2003 - Oxford logic guides ; 40,2003
Gabbay, Dov M. [Author]; Hodkinson, Ian [Author]; Reynolds, Mark [Author] Temporal logic / 1 Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1994 Published in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 1.1994 - Oxford logic guides ; 28.1994
Hirsch, Robin [Author] ; Hodkinson, Ian [Other] ScienceDirect (Online service) Relation algebras by games - [1st ed] Books View online Schließen > Access ... to E-book via ScienceDirect (Volltext ; Deutschlandweit zugänglich) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Boston: North Holland/Elsevier, 2002 ; Online-Ausg.] Published in: Studies in logic and the foundations of mathematics ; v. 147
Hodkinson, Ian Non-representable relation algebras from vector spaces Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Victoria University of Wellington Library, 2020 Published in: The Australasian Journal of Logic, 17 (2020) 2, Seite 82-109
Hodkinson, Ian On the variety generated by completions of representable relation algebras Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2020 Published in: Algebra universalis, 81 (2020) 2
Hodkinson, Ian Relational and Algebraic Methods in Computer Science: Connections between Relation Algebras and Cylindric Algebras Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2015 Published in: Relational and Algebraic Methods in Computer Science (2015), Seite 27-42
Hodkinson, Ian A construction of cylindric and polyadic algebras from atomic relation algebras Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2012 Published in: Algebra universalis, 68 (2012) 3-4, Seite 257-285
Hodkinson, Ian Jouko Väänänen. Models and games. Cambridge Studies in Advanced Mathematics, vol. 132. Cambridge University Press, Cambridge, 2011, xii + 367 pp Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2012 Published in: The Bulletin of Symbolic Logic, 18 (2012) 3, Seite 406-408
Hodkinson, Ian Review: Models and games. Cambridge Studies in Advanced Mathematics, vol. 132 Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Symbolic Logic, 2012 Published in: The Bulletin of Symbolic Logic, 18 (2012) 3, Seite 406-408
HODKINSON, IAN THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2010 Published in: The Review of Symbolic Logic, 3 (2010) 2, Seite 279-286
Hodkinson, Ian Complexity of monodic guarded fragments over linear and real time Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2006 Published in: Annals of Pure and Applied Logic, 138 (2006) 1-3, Seite 94-125
Hodkinson, Ian Hybrid Formulas and Elementarily Generated Modal Logics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Duke University Press, 2006 Published in: Notre Dame Journal of Formal Logic, 47 (2006) 4
Hodkinson, Ian Games, logic, and constructive sets, edited by G. Mints and R. Muskens, CSLI Lecture Notes, vol. 161. CSLI Publications, Stanford, CA, 2003, xii + 128 pp Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2005 Published in: Bulletin of Symbolic Logic, 11 (2005) 3, Seite 439-442
Hodkinson, Ian Review: Games, Logic, and Constructive Sets Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Symbolic Logic, 2005 Published in: The Bulletin of Symbolic Logic, 11 (2005) 3, Seite 439-442
Hodkinson, Ian GLOBAL CHANGE IN THE ARCTIC RIViERA Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2001 Published in: Global Ecology and Biogeography, 10 (2001) 1, Seite 111-112
> Media type Skip to next facet Articles (168) Wert ausschließen Books (8) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (2) Wert ausschließen Stack Collection (2) Wert ausschließen Ask for availability (3) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (5) Wert ausschließen Departmental Library DrePunct (3) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (60) Wert ausschließen Without Specification (109) Wert ausschließen Show more show less
> Language Skip to next facet English (140) Wert ausschließen Not determined (36) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (29) Wert ausschließen Philosophy (15) Wert ausschließen Geography (13) Wert ausschließen Biology (10) Wert ausschließen General (7) Wert ausschließen Chemistry and pharmacology (4) Wert ausschließen Geology and paleontology (4) Wert ausschließen History (4) Wert ausschließen Physics (2) Wert ausschließen Technology (2) Wert ausschließen Ethnology and ethnography (1) Wert ausschließen Computer science (1) Wert ausschließen Classical archaeology (1) Wert ausschließen Pedagogy (1) Wert ausschließen Sociology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Hodkinson, Ian (104) Wert ausschließen Hirsch, Robin (42) Wert ausschließen Hodkinson, Ian D. (40) Wert ausschließen Coulson, Stephen J. (13) Wert ausschließen Webb, Nigel R. (9) Wert ausschließen HODKINSON, IAN (8) Wert ausschließen Bezhanishvili, Nick (6) Wert ausschließen Maddux, Roger D. (6) Wert ausschließen Cooper, Elisabeth J. (5) Wert ausschließen Cunningham, Steve (5) Wert ausschließen Goldblatt, Robert (5) Wert ausschließen Maxwell-Hodkinson, Abigail (5) Wert ausschließen Reynolds, Mark (5) Wert ausschließen Roland, Damian (5) Wert ausschließen Venema, Yde (5) Wert ausschließen Bird, Jeremy M. (4) Wert ausschließen Gabbay, Dov M. (4) Wert ausschließen Jónsdóttir, Ingibjörg S. (4) Wert ausschließen Lyttle, Mark D. (4) Wert ausschließen Marlow, Robin (4) Wert ausschließen Sinha, Ian (4) Wert ausschließen Swann, Olivia V. (4) Wert ausschließen Alsos, Inger G. (3) Wert ausschließen Child, Deborah M. (3) Wert ausschließen Hagen, Dagmar (3) Wert ausschließen Hardelid, Pia (3) Wert ausschließen Hill, Jane K. (3) Wert ausschließen Hodkinson, Alan (3) Wert ausschließen Hodkinson, Ian S. (3) Wert ausschließen Pocobene, Gianfranco (3) Wert ausschließen Smith, Fiona M. (3) Wert ausschließen Stronach, Ian (3) Wert ausschließen Williams, Thomas (3) Wert ausschließen Bergin, Colin (2) Wert ausschließen Brown, Deborah (2) Wert ausschließen Carter, Joseph (2) Wert ausschließen Casson, David S. (2) Wert ausschließen Clare, Tom (2) Wert ausschließen Cook, Geoff (2) Wert ausschließen Cooper, Lauren (2) Wert ausschließen Crawford, Linda A. (2) Wert ausschließen Ding, Wei (2) Wert ausschließen Dollery, Rebecca (2) Wert ausschließen GOLDBLATT, ROBERT (2) Wert ausschließen Gresty, Joanne (2) Wert ausschließen Harrison, Joanna (2) Wert ausschließen Hodkinson, Gemma (2) Wert ausschließen Hodkinson, Peter (2) Wert ausschließen Hussain, Altaf (2) Wert ausschließen Ledot, Stephane (2) Wert ausschließen Lepp, Nicholas W. (2) Wert ausschließen Martin, Tim (2) Wert ausschließen McGhee, Christopher (2) Wert ausschließen Otto, Martin (2) Wert ausschließen Portell, Jean D. (2) Wert ausschließen Read, Stephen (2) Wert ausschließen Shelah, Saharon (2) Wert ausschließen Simpson, Mark (2) Wert ausschließen Williams, Thomas C. (2) Wert ausschließen Wolter, Frank (2) Wert ausschließen Zakharyaschev, Michael (2) Wert ausschließen van Benthem, Johan (2) Wert ausschließen Aad, Georges (1) Wert ausschließen Aarts, Craig (1) Wert ausschließen Abbott, Brad (1) Wert ausschließen Abbott, Dale Charles (1) Wert ausschließen Abdallah, Rehab (1) Wert ausschließen Abdelhamid, Sara (1) Wert ausschließen Abdelrahman, Mahmoud (1) Wert ausschließen Abdul-Alim, Siddiq (1) Wert ausschließen Abed Abud, Adam (1) Wert ausschließen Abeling, Kira (1) Wert ausschließen Abhayasinghe, Deshan Kavishka (1) Wert ausschließen Abidi, Syed Haider (1) Wert ausschließen Abioye, Adrienne (1) Wert ausschließen Abolhalaj, Milad (1) Wert ausschließen Aboulhorma, Asmaa (1) Wert ausschließen Abramowicz, Halina (1) Wert ausschließen Abreu, Henso (1) Wert ausschließen Abtin, Fereidoun (1) Wert ausschließen Abulaiti, Yiming (1) Wert ausschließen Abusleme Hoffman, Angel Christian (1) Wert ausschließen Acharya, Bobby Samir (1) Wert ausschließen Acheson, Anupama (1) Wert ausschließen Achkar, Baida (1) Wert ausschließen Acquavella, Nicolas (1) Wert ausschließen Acres, Meghan (1) Wert ausschließen Adam Bourdarios, Claire (1) Wert ausschließen Adam, Lennart (1) Wert ausschließen Adamczyk, Leszek (1) Wert ausschließen Adamek, Lukas (1) Wert ausschließen Adams, Carol (1) Wert ausschließen Adams, Gregory P. (1) Wert ausschließen Adams, Heather (1) Wert ausschließen Adams, Katherine (1) Wert ausschließen Adams, Nicholas (1) Wert ausschließen Adams, Sharon (1) Wert ausschließen Adamus, Tomasz (1) Wert ausschließen Addepalli, Sagar Vidya (1) Wert ausschließen Adedoyin, Temi (1) Wert ausschließen Show more show less
> Collection Skip to next facet Wiley (CrossRef) (25) Wert ausschließen Elsevier (CrossRef) (22) Wert ausschließen JSTOR Mathematics & Statistics (20) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (17) Wert ausschließen JSTOR Arts & Sciences I Archive (16) Wert ausschließen Elsevier BV (CrossRef) (14) Wert ausschließen JSTOR Life Sciences Archive (14) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (14) Wert ausschließen Informa UK Limited (CrossRef) (7) Wert ausschließen Verbunddaten SWB (7) Wert ausschließen JSTOR Arts & Sciences II Archive (5) Wert ausschließen JSTOR Arts & Sciences VII Archive (5) Wert ausschließen JSTOR Arts & Sciences III Archive (4) Wert ausschließen American Mathematical Society (AMS) (CrossRef) (3) Wert ausschließen Oxford University Press (OUP) (CrossRef) (3) Wert ausschließen SAGE Publications (CrossRef) (3) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (3) Wert ausschließen BMJ (CrossRef) (2) Wert ausschließen F1000 Research Ltd (CrossRef) (2) Wert ausschließen JSTOR (CrossRef) (2) Wert ausschließen Maney Publishing (CrossRef) (2) Wert ausschließen Victoria University of Wellington Library (CrossRef) (2) Wert ausschließen American Medical Association (AMA) (CrossRef) (1) Wert ausschließen DOAJ Directory of Open Access Journals (1) Wert ausschließen Duke University Press (CrossRef) (1) Wert ausschließen Elsevier eBook collection on ScienceDirect - Mathematics (Nationallizenz) (1) Wert ausschließen IOP Publishing (CrossRef) (1) Wert ausschließen International Glaciological Society (CrossRef) (1) Wert ausschließen Nationallizenzen (1) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (1) Wert ausschließen Springer International Publishing (CrossRef) (1) Wert ausschließen The Royal Society (CrossRef) (1) Wert ausschließen Show more show less