文章基本信息

标题：Coinduction: Automata, Formal Proof, Companions (Invited Paper)
本地全文：下载
作者：Damien Pous
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2019
卷号：139
页码：1-4
DOI：10.4230/LIPIcs.CALCO.2019.4
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Coinduction is a mathematical tool that is used pervasively in computer science: to program and reason about infinite data-structures, to give semantics to concurrent systems, to obtain automata algorithms. We present some of these applications in automata theory and in formalised mathematics. Then we discuss recent developments on the abstract theory of coinduction and its enhancements.
关键词：Coinduction; Automata; Coalgebra; Formal proofs