|
|||||
|
|
Complexity of hybrid logics over transitive frames |
|
| Authors: | Martin Mundhenk Thomas Schneider Thomas Schwentick Volker Weber |
| Affiliation: | a Institut für Informatik, Universität Jena, Germany;b Computer Science, University of Manchester, UK;c Fakultät für Informatik, Technische Universität Dortmund, Germany |
| Abstract: | |
| Keywords: | Hybrid logic Satisfiability Decidability Complexity |
| 本文献已被 ScienceDirect 等数据库收录！ | |