%0 Journal Article %1 journals/ndjfl/CortonesiMM11 %A Cortonesi, Tommaso %A Marchioni, Enrico %A Montagna, Franco %D 2011 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 339-379 %T Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl52.html#CortonesiMM11 %V 52

@article{journals/ndjfl/CortonesiMM11, added-at = {2020-05-21T00:00:00.000+0200}, author = {Cortonesi, Tommaso and Marchioni, Enrico and Montagna, Franco}, biburl = {https://www.bibsonomy.org/bibtex/2fee43f6225edee506a9ffd59428dae46/dblp}, ee = {https://doi.org/10.1215/00294527-1499336}, interhash = {44b98670d1ece800b3d4a96d8d91e169}, intrahash = {fee43f6225edee506a9ffd59428dae46}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {339-379}, timestamp = {2020-05-23T12:17:37.000+0200}, title = {Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl52.html#CortonesiMM11}, volume = 52, year = 2011 }