Weighted rewriting

DOI10.1007/978-3-032-04167-8_11MaRDI QIDQ6852313zbMATH OpenFDO

Authors Martin Avanzini, Akihisa Yamada

Publication date 26 February 2026

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Weighted rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6852313)