Two Variables and Two Successors

Amaldev Manuel. Two Variables and Two Successors. In Petr Hlinený, Antonín Kucera, editors, Mathematical Foundations of Computer Science 2010, 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings. Volume 6281 of Lecture Notes in Computer Science, pages 513-524, Springer, 2010. [doi]

Abstract

Abstract is missing.