Open AccessProof-search in hybrid logic
Author(s) -
Daiva Aleknavičiūtė,
Stanislovas Norgėla
Publication year - 2008
Publication title -
lietuvos matematikos rinkinys
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2335-898X
pISSN - 0132-2818
DOI - 10.15388/lmr.2008.18104
Subject(s) - computer science , programming language , theoretical computer science
This paper describes a new tactic for proof-search in Hybrid logic H(@), which always terminates.
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