3 search results - page 1 / 1 » Independence in finitary abstract elementary classes |
APAL
2006
13 years 5 months ago
2006
ence in Finitary Abstract Elementary Classes Tapani Hyttinen and Meeri Kes
CORR
2011
Springer
12 years 12 months ago
2011
Springer
Abstract The class of ω-regular languages provide a robust specification language in verification. Every ω-regular condition can be decomposed into a safety part and a liveness...
CP
2000
Springer
13 years 9 months ago
2000
Springer
plexity Theorems: Talk Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 David McAllester Regular Papers Automatic Generation of Propagation Rules for F...