Login / Signup
Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures.
Norihiro Kamide
Ken Kaneiwa
Published in:
Australasian Conference on Artificial Intelligence (2009)
Keyphrases
</>
tree structures
computation tree logic
temporal logic
linear time temporal logic
model checking
tree structure
modal operators
xml documents
index structure
bounded model checking
r tree
b tree
multi dimensional
artificial intelligence
nonmonotonic logics
databases
expressive power