3 search results - page 1 / 1 » A Clausal Resolution Method for Extended Computation Tree Lo... |
TIME
2003
IEEE
13 years 10 months ago
2003
IEEE
TIME
2005
IEEE
13 years 11 months ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
FOCS
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper deals with the evaluation of acyclic Boolean conjunctive queries in relational databases. By well-known results of Yannakakis [1981], this problem is solvable in polynom...