%0 Conference Paper %1 conf/lpar/TasharrofiT10 %A Tasharrofi, Shahab %A Ternovska, Eugenia %B LPAR (Yogyakarta) %D 2010 %E Fermüller, Christian G. %E Voronkov, Andrei %I Springer %K dblp %P 610-624 %T PBINT, A Logic for Modelling Search Problems Involving Arithmetic. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2010y.html#TasharrofiT10 %V 6397 %@ 978-3-642-16241-1

@inproceedings{conf/lpar/TasharrofiT10, added-at = {2017-05-23T00:00:00.000+0200}, author = {Tasharrofi, Shahab and Ternovska, Eugenia}, biburl = {https://www.bibsonomy.org/bibtex/206aa52b22fc357b256f8b2668b76de82/dblp}, booktitle = {LPAR (Yogyakarta)}, crossref = {conf/lpar/2010y}, editor = {Fermüller, Christian G. and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-642-16242-8_43}, interhash = {237fede4190d07c384411dbe945594a1}, intrahash = {06aa52b22fc357b256f8b2668b76de82}, isbn = {978-3-642-16241-1}, keywords = {dblp}, pages = {610-624}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:22:04.000+0200}, title = {PBINT, A Logic for Modelling Search Problems Involving Arithmetic.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2010y.html#TasharrofiT10}, volume = 6397, year = 2010 }