People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Ian Hodkinson ; User Type: Individual seller / landlord: Phone Number: +65 9387-9838
Ian Hodkinson ( Department of Computing, Imperial College London, UK ) Abstract: Temporal reasoning has been studied since Aristotle and perhaps before.
2003 Alexsandru Baltag (Oxford University, UK) Ian Hodkinson (Imperial College, London, UK) Vladimir Sotirov (Bulgarian Academy of Science, Bulgaria ...
Decidable and undecidable fragments of first-order branching temporal logics Ian Hodkinson, Frank Wolter, and Michael Zakharyaschev Department of Computing, Imperial College 180 Queen ...
We are grateful to Robin Hirsch, Ian Hodkinson, Agnes Kurucz, Sz-abolcsMikul´as, Valentin Shehtman, and Frank Wolterfor stimulating discussions, comments and suggestions.
Ian Hodkinson ; User Type: Individual seller / landlord: Phone Number: +65 9387-9838
Ian Hodkinson ( Department of Computing, Imperial College London, UK ) Abstract: Temporal reasoning has been studied since Aristotle and perhaps before.
Decidable and undecidable fragments of first-order branching temporal logics Ian Hodkinson, Frank Wolter, and Michael Zakharyaschev Department of Computing, Imperial College ...
Linkedin