Hodkinson, Ian.
Hodkinson, Ian, 19..-...., auteur en informatique
Ian Hodkinson researcher
VIAF ID: 270071647 ( Personal )
Permalink: http://viaf.org/viaf/270071647
Preferred Forms
- 200 _ | ‡a Hodkinson ‡b Ian
-
- 100 1 _ ‡a Hodkinson, Ian
-
-
-
-
-
- 100 1 0 ‡a Hodkinson, Ian
- 100 1 _ ‡a Hodkinson, Ian, ‡d 19..-...., ‡c auteur en informatique
-
- 100 0 _ ‡a Ian Hodkinson ‡c researcher
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Advances in modal logic. [sixth conference held at Noosa, Australia on 25-28 September 2006] | |
Relation algebras by games, 2002: | |
Sahlqvist correspondence for modal mu-calculus | |
Temporal logic mathematical foundations and computational aspects |