TOWARD A LANGUAGE THEORETIC PROOF OF THE FOUR COLOR THEOREM BOBBE COOPER, ERIC ROWLAND, AND DORON ZEILBERGER Abstract. This paper considers the problem of showing that every pair of binary trees with the same number of l
Document is deleted from original location. Use the Download Button below to download from the Web Archive.
TOWARD A LANGUAGE THEORETIC PROOF OF THE FOUR COLOR THEOREM BOBBE COOPER, ERIC ROWLAND, AND DORON ZEILBERGER Abstract. This paper considers the problem of showing that every pair of binary trees with the same number of l