2 search results - page 1 / 1 » Local Temporal Logic is Expressively Complete for Cograph De... |
LPAR
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. Recently, local logics for Mazurkiewicz traces are of increasing interest. This is mainly due to the fact that the satisfiability problem has the same complexity as in t...
FUIN
2008
13 years 5 months ago
2008
The issue addressed in this paper concerns the discovery of frequent multi-dimensional patterns from relational sequences. The great variety of applications of sequential pattern m...