Switch to: References

Add citations

You must login to add citations.
  1. An optimal construction of Hanf sentences.Benedikt Bollig & Dietrich Kuske - 2012 - Journal of Applied Logic 10 (2):179-186.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  • Tree-automatic well-founded trees.Alexander Kartzow, Jiamou Liu & Markus Lohrey - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 363--373.