%0 Conference Paper %1 conf/lpar/FerrariFF02 %A Ferrari, Mauro %A Fiorentini, Camillo %A Fiorino, Guido %B LPAR %D 2002 %E Baaz, Matthias %E Voronkov, Andrei %I Springer %K dblp %P 175-189 %T On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2002.html#FerrariFF02 %V 2514 %@ 3-540-00010-0

@inproceedings{conf/lpar/FerrariFF02, added-at = {2019-10-30T00:00:00.000+0100}, author = {Ferrari, Mauro and Fiorentini, Camillo and Fiorino, Guido}, biburl = {https://www.bibsonomy.org/bibtex/2065c49127bad1ba1ff89b5cc1f1ab1e3/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2002}, editor = {Baaz, Matthias and Voronkov, Andrei}, ee = {https://doi.org/10.1007/3-540-36078-6_12}, interhash = {5ad5608be8e04fb0077c243fde622eef}, intrahash = {065c49127bad1ba1ff89b5cc1f1ab1e3}, isbn = {3-540-00010-0}, keywords = {dblp}, pages = {175-189}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-31T11:45:31.000+0100}, title = {On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2002.html#FerrariFF02}, volume = 2514, year = 2002 }