%0 Conference Paper %1 conf/birthday/ApinisSV16 %A Apinis, Kalmer %A Seidl, Helmut %A Vojdani, Vesal %B Semantics, Logics, and Calculi %D 2016 %E Probst, Christian W. %E Hankin, Chris %E Hansen, René Rydhof %I Springer %K %P 272-288 %T Enhancing Top-Down Solving with Widening and Narrowing. %U http://dblp.uni-trier.de/db/conf/birthday/nielson2016.html#ApinisSV16 %V 9560 %@ 978-3-319-27809-4

@inproceedings{conf/birthday/ApinisSV16, added-at = {2023-12-13T07:30:09.000+0100}, author = {Apinis, Kalmer and Seidl, Helmut and Vojdani, Vesal}, biburl = {https://www.bibsonomy.org/bibtex/21ebcf7803a896c1db8186c7c29b34d41/admin}, booktitle = {Semantics, Logics, and Calculi}, crossref = {conf/birthday/2016nielson}, editor = {Probst, Christian W. and Hankin, Chris and Hansen, René Rydhof}, ee = {https://doi.org/10.1007/978-3-319-27810-0_14}, interhash = {b9c9c74e2e6b531747924653fcbe0b27}, intrahash = {1ebcf7803a896c1db8186c7c29b34d41}, isbn = {978-3-319-27809-4}, keywords = {}, pages = {272-288}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T07:30:09.000+0100}, title = {Enhancing Top-Down Solving with Widening and Narrowing.}, url = {http://dblp.uni-trier.de/db/conf/birthday/nielson2016.html#ApinisSV16}, volume = 9560, year = 2016 }