The complexity of satisfiability for fragments of hybrid logic—Part I (Q57998323)
Jump to navigation
Jump to search
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | The complexity of satisfiability for fragments of hybrid logic—Part I |
No description defined |
Statements
The complexity of satisfiability for fragments of hybrid logic—Part I (English)
0 references
December 2010
0 references
8
0 references
4
0 references
409-421
0 references