Open AccessExperiments in Theorem Proving for Topological Hybrid Logic
Author(s) -
Dmitry Sustretov,
Guillaume Hoffmann,
Carlos Areces,
Patrick Blackburn
Publication year - 2009
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2009.02.043
Subject(s) - automated theorem proving , interpretation (philosophy) , modal logic , mathematics , translation (biology) , computer science , modal , discrete mathematics , algebra over a field , calculus (dental) , algorithm , pure mathematics , programming language , medicine , biochemistry , chemistry , dentistry , messenger rna , polymer chemistry , gene
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom