%0 Conference Paper %1 conf/stacs/HuntS86 %A III, Harry B. Hunt %A Stearns, Richard Edwin %B STACS %D 1986 %E Monien, Burkhard %E Vidal-Naquet, Guy %I Springer %K dblp %P 277-290 %T Monotone Boolean Formulas, Distributive Lattices, and the Complexities of Logics, Algebraic Structures, and Computation Structures (Preliminary Report). %U http://dblp.uni-trier.de/db/conf/stacs/stacs86.html#HuntS86 %V 210 %@ 3-540-16078-7

@inproceedings{conf/stacs/HuntS86, added-at = {2017-05-19T00:00:00.000+0200}, author = {III, Harry B. Hunt and Stearns, Richard Edwin}, biburl = {https://www.bibsonomy.org/bibtex/2916517593d2d208b4506ae42239ffdc4/dblp}, booktitle = {STACS}, crossref = {conf/stacs/1986}, editor = {Monien, Burkhard and Vidal-Naquet, Guy}, ee = {https://doi.org/10.1007/3-540-16078-7_83}, interhash = {3414261d847bec945c30e06c30d2fdb1}, intrahash = {916517593d2d208b4506ae42239ffdc4}, isbn = {3-540-16078-7}, keywords = {dblp}, pages = {277-290}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:25:49.000+0200}, title = {Monotone Boolean Formulas, Distributive Lattices, and the Complexities of Logics, Algebraic Structures, and Computation Structures (Preliminary Report).}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs86.html#HuntS86}, volume = 210, year = 1986 }