On Existential Theories of List Concatenation

Klaus U. Schulz. On Existential Theories of List Concatenation. In Leszek Pacholski, Jerzy Tiuryn, editors, Computer Science Logic, 8th International Workshop, CSL 94, Kazimierz, Poland, September 25-30, 1994, Selected Papers. Volume 933 of Lecture Notes in Computer Science, pages 294-308, Springer, 1994.

Abstract

Abstract is missing.