Publisher
Springer International Publishing
Reference10 articles.
1. Lecture Notes in Computer Science;E. Allender,2005
2. Bienvenu, L., Patey, L., Shafer, P.: A Ramsey-Type König’s lemma and its variants (in preparation)
3. Bulatov, A.A.: A dichotomy theorem for constraints on a three-element set. In: Proceedings of the 43rd Annual IEEE Symposium on Foundations of Computer Science, pp. 649–658. IEEE (2002)
4. Creignou, N., Hermann, M.: Complexity of generalized satisfiability counting problems. Information and Computation 125(1), 1–12 (1996)
5. Flood, S.: Reverse mathematics and a Ramsey-type König’s Lemma. Journal of Symbolic Logic 77(4), 1272–1280 (2012)