1986/01/01 by Ursula Martin, Tobias Nipkow · 1 citation
Computer Science · Mathematics · #Algebra over a field #Algorithm #Computer science #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Programming language #Pure mathematics #Theoretical computer science #Unification #semigroups and automata theory
paper · doi:10.1007/3-540-16780-3_115
crossref issued 1986/01/01 · crossref published 1986/01/01 · crossref published-print 1986/01/01 · openalex publication_date 1986/01/01 · crossref published-online 2005/05/31 · 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