Login / Signup

Canonical Narrowing for Variant-Based Conditional Rewrite Theories.

Raúl López-RuedaSantiago Escobar
Published in: ICFEM (2022)
Keyphrases