12 search results - page 1 / 3 » dlt 2004 |
72
Voted
DLT
2004
15 years 9 days ago
2004
73
Voted
DLT
2004
15 years 9 days ago
2004
CLEF
2004
Springer
15 years 4 months ago
2004
Springer
89
Voted
DLT
2004
15 years 9 days ago
2004
A fragment of linear time temporal logic (LTL) is presented. It is proved that the satisfiability problem for this fragment is NPcomplete. The fragment is larger than previously kn...
90
Voted
DLT
2004
15 years 9 days ago
2004
Recently there have been some new initiatives in the field of parameterized complexity. In this paper, we will report on some of these, concentrating on some open questions, and al...