%0 Conference Paper %1 conf/birthday/Lehmann08 %A Lehmann, Daniel %B Pillars of Computer Science %D 2008 %E Avron, Arnon %E Dershowitz, Nachum %E Rabinovich, Alexander %I Springer %K dblp %P 424-440 %T Connectives in Cumulative Logics. %U http://dblp.uni-trier.de/db/conf/birthday/trakhtenbrot2008.html#Lehmann08 %V 4800 %@ 978-3-540-78126-4

@inproceedings{conf/birthday/Lehmann08, added-at = {2019-08-09T00:00:00.000+0200}, author = {Lehmann, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/215bb3fda116c29bfd356595a427263a6/dblp}, booktitle = {Pillars of Computer Science}, crossref = {conf/birthday/2008trakhtenbrot}, editor = {Avron, Arnon and Dershowitz, Nachum and Rabinovich, Alexander}, ee = {https://doi.org/10.1007/978-3-540-78127-1_22}, interhash = {5f6c3041024214624c9f8d80ec92f723}, intrahash = {15bb3fda116c29bfd356595a427263a6}, isbn = {978-3-540-78126-4}, keywords = {dblp}, pages = {424-440}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-10T11:48:01.000+0200}, title = {Connectives in Cumulative Logics.}, url = {http://dblp.uni-trier.de/db/conf/birthday/trakhtenbrot2008.html#Lehmann08}, volume = 4800, year = 2008 }