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

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