Integrating Induction and Coinduction via Closure Operators and Proof Cycles

Liron Cohen; Reuben N.S. Rowe

doi:10.1007/978-3-030-51074-9_21

Integrating Induction and Coinduction via Closure Operators and Proof Cycles

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

64 Downloads (Pure)

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

Conference

Conference	10th International Joint Conference on Automated Reasoning, IJCAR 2020
City	Virtual, Online
Period	1/07/20 → 4/07/20

Access to Document

10.1007/978-3-030-51074-9_21

Accepted ManuscriptAccepted author manuscript, 466 KB

Cite this

Cohen, L., & Rowe, R. N. S. (2020). Integrating Induction and Coinduction via Closure Operators and Proof Cycles. In N. Peltier, & V. Sofronie-Stokkermans (Eds.), Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings (pp. 375-394). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12166 LNAI). Springer. https://doi.org/10.1007/978-3-030-51074-9_21

Cohen, Liron ; Rowe, Reuben N.S. / Integrating Induction and Coinduction via Closure Operators and Proof Cycles. Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings. editor / Nicolas Peltier ; Viorica Sofronie-Stokkermans. Springer, 2020. pp. 375-394 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b1dbd77ea3ac48beae1bd7708e40e2af,

title = "Integrating Induction and Coinduction via Closure Operators and Proof Cycles",

author = "Liron Cohen and Rowe, {Reuben N.S.}",

year = "2020",

month = jun,

day = "24",

doi = "10.1007/978-3-030-51074-9_21",

language = "English",

isbn = "978-3-030-51073-2",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "375--394",

editor = "Nicolas Peltier and Viorica Sofronie-Stokkermans",

booktitle = "Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings",

note = "10th International Joint Conference on Automated Reasoning, IJCAR 2020 ; Conference date: 01-07-2020 Through 04-07-2020",

}

Cohen, L & Rowe, RNS 2020, Integrating Induction and Coinduction via Closure Operators and Proof Cycles. in N Peltier & V Sofronie-Stokkermans (eds), Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12166 LNAI, Springer, pp. 375-394, 10th International Joint Conference on Automated Reasoning, IJCAR 2020, Virtual, Online, 1/07/20. https://doi.org/10.1007/978-3-030-51074-9_21

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

TY - GEN

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

AU - Cohen, Liron

AU - Rowe, Reuben N.S.

PY - 2020/6/24

Y1 - 2020/6/24

UR - http://www.scopus.com/inward/record.url?scp=85088235579&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-51074-9_21

DO - 10.1007/978-3-030-51074-9_21

M3 - Conference contribution

AN - SCOPUS:85088235579

SN - 978-3-030-51073-2

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 375

EP - 394

BT - Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings

A2 - Peltier, Nicolas

A2 - Sofronie-Stokkermans, Viorica

PB - Springer

T2 - 10th International Joint Conference on Automated Reasoning, IJCAR 2020

Y2 - 1 July 2020 through 4 July 2020

ER -

Cohen L, Rowe RNS. Integrating Induction and Coinduction via Closure Operators and Proof Cycles. In Peltier N, Sofronie-Stokkermans V, editors, Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings. Springer. 2020. p. 375-394. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Epub 2020 Jun 24. doi: 10.1007/978-3-030-51074-9_21

Integrating Induction and Coinduction via Closure Operators and Proof Cycles

Publication series

Conference

Access to Document

Other files and links

Cite this