Integrating Induction and Coinduction via Closure Operators and Proof Cycles - Research

Home > Computer Science home > Research > Profile > Publications > Integrating Induction and Coinduction via Closure Operators and Proof Cycles

Integrating Induction and Coinduction via Closure Operators and Proof Cycles. / Cohen, Liron; Rowe, Reuben N.S.

Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings. ed. / Nicolas Peltier; Viorica Sofronie-Stokkermans. Springer, 2020. p. 375-394 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12166 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Published

Documents

Accepted Manuscript
Accepted author manuscript, 466 KB, PDF document

Liron Cohen
Reuben N.S. Rowe

Department of Computer Science

Original language	English
Title of host publication	Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings
Editors	Nicolas Peltier, Viorica Sofronie-Stokkermans
Publisher	Springer
Pages	375-394
Number of pages	20
ISBN (Electronic)	978-3-030-51074-9
ISBN (Print)	978-3-030-51073-2
DOIs	https://doi.org/10.1007/978-3-030-51074-9_21
Publication status	Published - 24 Jun 2020
Event	10th International Joint Conference on Automated Reasoning, IJCAR 2020 - Virtual, Online Duration: 1 Jul 2020 → 4 Jul 2020

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12166 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349