On Confluence of Infinitary Combinatory Reduction Systems

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/11591191_15 ◽

2005 ◽

pp. 199-214 ◽

Cited By ~ 5

Author(s):

Jeroen Ketema ◽

Jakob Grue Simonsen

Download Full-text