Switch to: References

Add citations

You must login to add citations.
  1. On the bounded monadic theory of well-ordered structures.Wolfgang Thomas - 1980 - Journal of Symbolic Logic 45 (2):334-338.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Iterated pushdown automata and sequences of rational numbers.Séverine Fratani & Géraud Sénizergues - 2006 - Annals of Pure and Applied Logic 141 (3):363-411.
    Download  
     
    Export citation  
     
    Bookmark