Equational generalization problems with atom-variables

DOI10.1007/978-3-032-07021-0_8MaRDI QIDQ6856421zbMATH OpenFDO

Authors Alexander Baumgartner, Temur Kutsia, Daniele Nantes-Sobrinho, Manfred Schmidt-Schauß

Publication date 19 February 2026

zbMATH Keywords

equational theoriesbindersgeneralization problems

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

This page was built for publication: Equational generalization problems with atom-variables

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