19 search results - page 1 / 4 » rp 2009 |
107
Voted
RP
2009
Springer
15 years 10 months ago
2009
Springer
137
Voted
RP
2009
Springer
15 years 10 months ago
2009
Springer
102
Voted
RP
2009
Springer
15 years 10 months ago
2009
Springer
108
Voted
RP
2009
Springer
15 years 10 months ago
2009
Springer
124
Voted
RP
2009
Springer
15 years 10 months ago
2009
Springer
In [13], Yen defines a class of formulas for paths in Petri nets and claims that its satisfiability problem is EXPSPACE-complete. In this paper, we show that in fact the satisfi...