%0 Conference Paper %1 conf/birthday/Baaz06 %A Baaz, Matthias %B Algebraic and Proof-theoretic Aspects of Non-classical Logics %D 2006 %E Aguzzoli, Stefano %E Ciabattoni, Agata %E Gerla, Brunella %E Manara, Corrado %E Marra, Vincenzo %I Springer %K dblp %P 25-29 %T Note on Conditional Constructivity. %U http://dblp.uni-trier.de/db/conf/birthday/mundici2006.html#Baaz06 %V 4460 %@ 978-3-540-75938-6

@inproceedings{conf/birthday/Baaz06, added-at = {2017-05-23T00:00:00.000+0200}, author = {Baaz, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2d7df539777b4d5fca0634f2165dd2a9b/dblp}, booktitle = {Algebraic and Proof-theoretic Aspects of Non-classical Logics}, crossref = {conf/birthday/2006mundici}, editor = {Aguzzoli, Stefano and Ciabattoni, Agata and Gerla, Brunella and Manara, Corrado and Marra, Vincenzo}, ee = {https://doi.org/10.1007/978-3-540-75939-3_2}, interhash = {5f07ecfb6f25e14dbc230f0ccbe94ce3}, intrahash = {d7df539777b4d5fca0634f2165dd2a9b}, isbn = {978-3-540-75938-6}, keywords = {dblp}, pages = {25-29}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:11.000+0200}, title = {Note on Conditional Constructivity.}, url = {http://dblp.uni-trier.de/db/conf/birthday/mundici2006.html#Baaz06}, volume = 4460, year = 2006 }