1985/01/01 by Äbdelilah Kandri-Rody, Abdelilah Kandri-Rody, Deepak Kapur +1 · 2 citations
Computer Science · Mathematics · #Algebra over a field #Arithmetic #Commutative property #Computer science #Decidability #Discrete mathematics #Formal Methods in Verification #Gröbner basis #Ideal (ethics) #Logic, programming, and type systems #Mathematics #Modulo #Polynomial #Polynomial and algebraic computation #Polynomial ring #Pure mathematics #Unification #Word problem (mathematics education)
paper · doi:10.1007/3-540-15976-2_17
crossref issued 1985/01/01 · crossref published 1985/01/01 · crossref published-print 1985/01/01 · openalex publication_date 1985/01/01 · crossref published-online 2005/05/29 · crossref created 2012/02/25 · crossref deposited 2020/11/17 · crossref indexed 2024/09/06 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29