2016/01/01 by Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger · 1 citation
Computer Science · Mathematics · #Algorithm #Calculus (dental) #Completeness (order theory) #Computer science #Constructive #Cut-elimination theorem #Discrete mathematics #Formal Methods in Verification #Generalization #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical proof #Mathematics #Modal #Modal logic #Programming language #Sequent #Sequent calculus
paper · doi:10.1007/978-3-662-49630-5_23
crossref issued 2016/01/01 · crossref published 2016/01/01 · crossref published-print 2016/01/01 · openalex publication_date 2016/01/01 · crossref created 2016/03/21 · crossref deposited 2024/06/15 · crossref indexed 2024/09/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/04