%0 Conference Paper %1 conf/cade/0001R20 %A Cohen, Liron %A Rowe, Reuben N. S. %B IJCAR (1) %D 2020 %E Peltier, Nicolas %E Sofronie-Stokkermans, Viorica %I Springer %K dblp %P 375-394 %T Integrating Induction and Coinduction via Closure Operators and Proof Cycles. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2020-1.html#0001R20 %V 12166 %@ 978-3-030-51074-9

@inproceedings{conf/cade/0001R20, added-at = {2020-07-03T00:00:00.000+0200}, author = {Cohen, Liron and Rowe, Reuben N. S.}, biburl = {https://www.bibsonomy.org/bibtex/20e7008010d41dca81ca3ec2ff1441abd/dblp}, booktitle = {IJCAR (1)}, crossref = {conf/cade/2020-1}, editor = {Peltier, Nicolas and Sofronie-Stokkermans, Viorica}, ee = {https://doi.org/10.1007/978-3-030-51074-9_21}, interhash = {1b20fef26077754e8800a5f25d3712a5}, intrahash = {0e7008010d41dca81ca3ec2ff1441abd}, isbn = {978-3-030-51074-9}, keywords = {dblp}, pages = {375-394}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-04T12:03:27.000+0200}, title = {Integrating Induction and Coinduction via Closure Operators and Proof Cycles.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2020-1.html#0001R20}, volume = 12166, year = 2020 }