Sciweavers

APAL
2008
62views more  APAL 2008»
13 years 11 months ago
The upward closure of a perfect thin class
There is a perfect thin 0 1 class whose upward closure in the Turing degrees has full measure (and indeed contains every 2-random degree.) Thus, in the Muchnik lattice of 0 1 class...
Rod Downey, Noam Greenberg, Joseph S. Miller
STACS
2009
Springer
14 years 6 months ago
Forward Analysis for WSTS, Part I: Completions
Well-structured transition systems provide the right foundation to compute a finite basis of the set of predecessors of the upward closure of a state. The dual problem, to compute...
Alain Finkel, Jean Goubault-Larrecq