1995/02/01 by Hans Kleine Büning, H.K. Buning, Marek Karpiński +3 · 3 citations
Computer Science · #Constraint Satisfaction and Optimization #Formal Methods in Verification #Logic, programming, and type systems
paper · doi:10.1006/inco.1995.1025
crossref issued 1995/02/01 · crossref published 1995/02/01 · crossref published-print 1995/02/01 · openalex publication_date 1995/02/01 · crossref created 2002/10/06 · crossref deposited 2019/05/07 · openalex created_date 2025/10/10 · crossref indexed 2026/07/02 · openalex updated_date 2026/07/15