Integrating Induction and Coinduction via Closure Operators and Proof Cycles

Liron Cohen, Reuben N.S. Rowe

Research output: Chapter in Book/Report/Conference proceedingConference contribution

44 Downloads (Pure)
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

Cite this