8 search results - page 1 / 2 » fsttcs 1993 |
FSTTCS
1993
Springer
13 years 9 months ago
1993
Springer
FSTTCS
1993
Springer
13 years 9 months ago
1993
Springer
FSTTCS
1993
Springer
13 years 9 months ago
1993
Springer
X;R ;R R R X X R R 1 2 1 2 1 1 2 1 2 2 1 2
FSTTCS
1993
Springer
13 years 9 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
FSTTCS
1993
Springer
13 years 9 months ago
1993
Springer
We study the complexity of several standard problems for 1-safe Petri nets and some of its subclasses. We prove that reachability, liveness, and deadlock are all PSPACE-complete f...