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
Accepted author manuscript, 466 KB, PDF document
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 | |
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 |
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 |
Conference | 10th International Joint Conference on Automated Reasoning, IJCAR 2020 |
---|---|
City | Virtual, Online |
Period | 1/07/20 → 4/07/20 |
ID: 38698631