Soundness and Completeness Proofs by Coinductive Methods

被引：0

作者：

机构：

[1] [1,Blanchette, Jasmin Christian

[2] 3,Popescu, Andrei

[3] Traytel, Dmitriy

来源：

Traytel, Dmitriy (traytel@inf.ethz.ch) | 1600年 / Springer Science and Business Media B.V.卷 / 58期

关键词：

Number:; NI; 491/13-3; Acronym:; -; Sponsor:; 713999; H2020; Sponsor: Horizon 2020 Framework Programme; EP/N019547/1; EPSRC; Sponsor: Engineering and Physical Sciences Research Council; 491/14-1; DFG; Sponsor: Deutsche Forschungsgemeinschaft;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用