Compiling Collapsing Rules in Certain Constructor Systems

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27436-2_4 ◽

2015 ◽

pp. 57-72

Author(s):

Sergio Antoy ◽

Andy Jost

Download Full-text