On existential theories of list concatenation

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0022264 ◽

1995 ◽

pp. 294-308 ◽

Author(s):

Klaus U. Schulz

Download Full-text