1988/05/01 by Jerrold W. Grossman, R. Suzanne Zeitman, R.Suzanne Zeitman · 2 citations
Computer Science · Mathematics · #Advanced Combinatorial Mathematics #Formal Methods in Verification #Polynomial and algebraic computation
paper · doi:10.1016/0304-3975(88)90046-1
crossref issued 1988/05/01 · crossref published 1988/05/01 · crossref published-print 1988/05/01 · openalex publication_date 1988/05/01 · crossref created 2002/07/25 · crossref deposited 2019/04/12 · openalex created_date 2025/10/10 · crossref indexed 2026/04/28 · openalex updated_date 2026/07/23