A Knuth-Bendix-like ordering for orienting combinator equations

From MaRDI portal
Publication:2096451

DOI10.1007/978-3-030-51074-9_15OpenAlexW3039231562MaRDI QIDQ2096451

Ahmed Bhayat, Giles Reger

Publication date: 9 November 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-51074-9_15




Related Items (3)


Uses Software



Cites Work




This page was built for publication: A Knuth-Bendix-like ordering for orienting combinator equations