%0 Conference Paper %1 conf/wollic/CohenA14 %A Cohen, Liron %A Avron, Arnon %B WoLLIC %D 2014 %E Kohlenbach, Ulrich %E Barceló, Pablo %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 137-151 %T Ancestral Logic: A Proof Theoretical Study. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2014.html#CohenA14 %V 8652 %@ 978-3-662-44144-2

@inproceedings{conf/wollic/CohenA14, added-at = {2020-12-29T00:00:00.000+0100}, author = {Cohen, Liron and Avron, Arnon}, biburl = {https://www.bibsonomy.org/bibtex/277ea2faeea3321da12ea53d6c0dcf82a/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2014}, editor = {Kohlenbach, Ulrich and Barceló, Pablo and de Queiroz, Ruy J. G. B.}, ee = {https://doi.org/10.1007/978-3-662-44145-9_10}, interhash = {0b521ba4c09e405839871cfcd00f6955}, intrahash = {77ea2faeea3321da12ea53d6c0dcf82a}, isbn = {978-3-662-44144-2}, keywords = {dblp}, pages = {137-151}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:24:54.000+0200}, title = {Ancestral Logic: A Proof Theoretical Study.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2014.html#CohenA14}, volume = 8652, year = 2014 }