3 search results - page 1 / 1 » Independence in finitary abstract elementary classes |
112
click to vote
APAL
2006
15 years 3 months ago
2006
ence in Finitary Abstract Elementary Classes Tapani Hyttinen and Meeri Kes
118
click to vote
CORR
2011
Springer
14 years 10 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...
124
click to vote
CP
2000
Springer
15 years 7 months ago
2000
Springer
plexity Theorems: Talk Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 David McAllester Regular Papers Automatic Generation of Propagation Rules for F...