1998/10/01 by Bernd I. Dahn, Bernd I Dahn · 31 citations
Computer Science · Mathematics · Medicine · #Algebra over a field #Algorithm #Associative property #Automated theorem proving #Axiom #Calculus (dental) #Commutative property #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Medicine #Pure mathematics
paper · pdf · doi:10.1006/jabr.1998.7467
published in Journal of Algebra 208(2), 526-532 (Elsevier BV)
crossref issued 1998/10/01 · crossref published 1998/10/01 · crossref published-print 1998/10/01 · openalex publication_date 1998/10/01 · crossref created 2002/10/07 · crossref deposited 2019/05/07 · openalex created_date 2025/10/10 · crossref indexed 2026/03/03 · openalex updated_date 2026/08/02