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 proceedingConference contribution

Published

Documents

Original languageEnglish
Title of host publicationAutomated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings
EditorsNicolas Peltier, Viorica Sofronie-Stokkermans
PublisherSpringer
Pages375-394
Number of pages20
ISBN (Electronic)978-3-030-51074-9
ISBN (Print)978-3-030-51073-2
DOIs
Publication statusPublished - 24 Jun 2020
Event10th International Joint Conference on Automated Reasoning, IJCAR 2020 - Virtual, Online
Duration: 1 Jul 20204 Jul 2020

Publication series

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

Conference

Conference10th International Joint Conference on Automated Reasoning, IJCAR 2020
CityVirtual, Online
Period1/07/204/07/20
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 38698631