Skip to content
naulon

Theoretical Computer Science

Filters1 filter applied
  1. A tall space with small bottom

    Istvan Juhász, Saharon Shelah, Lajos Soukup et al. · Proc. Amer. Math. Soc. 131 No. 6 (2003) 1907--1916 · 2001

    Abstract onlyNot checked

  2. Fallen Cardinals

    Menachem Kojman, Saharon Shelah · Ann. Pure Appl. Logic 109 No. 1-2 (2001) 117--129 · 2000

    Abstract onlyNot checked

  3. Quantified propositional Goedel logics

    Matthias Baaz, Agata Ciabattoni, Richard Zach · Michel Parigot, Andrei Voronkov (Eds.): Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000. Lecture Notes in Computer Science, Vol. 1955, Springer, 2000. pp. 240-256 · 2000

    Abstract onlyNot checked