1995/01/01 by Андрей Воронков, Andrei Voronkov · 2 citations
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · doi:10.1007/bf00881918
crossref issued 1995/01/01 · crossref published 1995/01/01 · crossref published-print 1995/01/01 · openalex publication_date 1995/01/01 · crossref created 2004/12/25 · crossref deposited 2020/04/04 · openalex created_date 2025/10/10 · crossref indexed 2026/07/11 · openalex updated_date 2026/08/01