1996/11/01 by Richard Frost, Richard A Frost, Barbara Szydlowski · 15 citations
Computer Science · #Backtracking #Computer science #Formal Methods in Verification #Functional programming #Logic, programming, and type systems #Network Packet Processing and Optimization #Parallel computing #Programming language
paper · doi:10.1016/0167-6423(96)00014-7
published in Science of Computer Programming 27(3), 263-288 (Elsevier BV)
crossref issued 1996/11/01 · crossref published 1996/11/01 · crossref published-print 1996/11/01 · openalex publication_date 1996/11/01 · crossref created 2002/10/31 · crossref deposited 2019/04/17 · openalex created_date 2025/10/10 · crossref indexed 2025/11/12 · openalex updated_date 2026/06/26