The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors

Salvador Lucas, José Meseguer, Raúl Gutiérrez

Research output: Contribution to journalArticlepeer-review

Fingerprint Dive into the research topics of 'The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors'. Together they form a unique fingerprint.

Mathematics