Union of Reducibility Candidates for Orthogonal Constructor Rewriting

Logic and Theory of Algorithms - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69407-6_54 ◽

2008 ◽

pp. 498-510 ◽

Author(s):

Colin Riba

Download Full-text