Switch to: References

Citations of:

Complexity issues for Preorders on finite labeled forests

&
In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 165-190 (2014)

Add citations

You must login to add citations.
  1. The Bolzano–Weierstrass Theorem is the jump of Weak Kőnig’s Lemma.Vasco Brattka, Guido Gherardi & Alberto Marcone - 2012 - Annals of Pure and Applied Logic 163 (6):623-655.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   16 citations