Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
From MaRDI portal
Publication:3140014
DOI10.1145/174130.174133zbMath0791.68146OpenAlexW2090705567WikidataQ57383752 ScholiaQ57383752MaRDI QIDQ3140014
Publication date: 6 December 1993
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/174130.174133
Gröbner basesequational reasoningringssemiringcommutative theories\(E\)-unificationsolution of linear equations
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
An undecidability result for AGh ⋮ Combination problems for commutative/monoidal theories or how algebra can help in equational unification ⋮ Permutative rewriting and unification ⋮ Deciding Knowledge in Security Protocols for Monoidal Equational Theories ⋮ Unification in varieties of completely regular semigroups ⋮ Decidability and combination results for two notions of knowledge in security protocols ⋮ Unification and matching modulo nilpotence ⋮ Unification of concept terms in description logics ⋮ Symbolic protocol analysis for monoidal equational theories ⋮ Complexity of nilpotent unification and matching problems.
This page was built for publication: Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
