%0 Conference Paper %1 conf/popl/Pierce92 %A Pierce, Benjamin C. %B POPL %D 1992 %E Sethi, Ravi %I ACM Press %K dblp %P 305-315 %T Bounded Quantification is Undecidable. %U http://dblp.uni-trier.de/db/conf/popl/popl92.html#Pierce92 %@ 0-89791-453-8

@inproceedings{conf/popl/Pierce92, added-at = {2018-11-06T00:00:00.000+0100}, author = {Pierce, Benjamin C.}, biburl = {https://www.bibsonomy.org/bibtex/2b8737bf14699d6ec0d518035d722e8af/dblp}, booktitle = {POPL}, crossref = {conf/popl/1992}, editor = {Sethi, Ravi}, ee = {https://doi.org/10.1145/143165.143228}, interhash = {cce9a3ed425210eb467318718fc3db56}, intrahash = {b8737bf14699d6ec0d518035d722e8af}, isbn = {0-89791-453-8}, keywords = {dblp}, pages = {305-315}, publisher = {ACM Press}, timestamp = {2018-11-07T15:43:56.000+0100}, title = {Bounded Quantification is Undecidable.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl92.html#Pierce92}, year = 1992 }