1987/03/01 by Allen Van Gelder · 1 citation
Computer Science · Mathematics · #Algorithm #Combinatorics #Computer science #Debugging #Extension (predicate logic) #For loop #Formal Methods in Verification #Interpreter #Logic, programming, and type systems #Loop (graph theory) #Mathematics #Natural Language Processing Techniques #Overhead (engineering) #Programming language #Prolog #Recursion (computer science) #Reduction (mathematics) #Theoretical computer science #Tortoise
paper · pdf · doi:10.1016/0743-1066(87)90020-3
crossref issued 1987/03/01 · crossref published 1987/03/01 · crossref published-print 1987/03/01 · openalex publication_date 1987/03/01 · crossref created 2002/07/26 · crossref deposited 2019/04/13 · openalex created_date 2025/10/10 · crossref indexed 2026/05/13 · openalex updated_date 2026/08/02