%0 Conference Paper %1 conf/lpar/VeanesBNB13 %A Veanes, Margus %A Bjørner, Nikolaj S. %A Nachmanson, Lev %A Bereg, Sergey %B LPAR (short papers) %D 2013 %E McMillan, Kenneth L. %E Middeldorp, Aart %E Sutcliffe, Geoff %E Voronkov, Andrei %I EasyChair %K dblp %P 97-103 %T Effectively Monadic Predicates. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2013s.html#VeanesBNB13 %V 26

@inproceedings{conf/lpar/VeanesBNB13, added-at = {2022-04-14T00:00:00.000+0200}, author = {Veanes, Margus and Bjørner, Nikolaj S. and Nachmanson, Lev and Bereg, Sergey}, biburl = {https://www.bibsonomy.org/bibtex/23a851a45a3c1144e051b590a72c5cc4c/dblp}, booktitle = {LPAR (short papers)}, crossref = {conf/lpar/2013s}, editor = {McMillan, Kenneth L. and Middeldorp, Aart and Sutcliffe, Geoff and Voronkov, Andrei}, ee = {https://doi.org/10.29007/drll}, interhash = {5ce2a86221a055450251c3cce9e005fd}, intrahash = {3a851a45a3c1144e051b590a72c5cc4c}, keywords = {dblp}, pages = {97-103}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T10:16:07.000+0200}, title = {Effectively Monadic Predicates.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2013s.html#VeanesBNB13}, volume = 26, year = 2013 }