%0 Conference Paper %1 conf/icra/SaranliP07 %A Saranli, Uluc %A Pfenning, Frank %B ICRA %D 2007 %I IEEE %K dblp %P 3705-3710 %T Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems. %U http://dblp.uni-trier.de/db/conf/icra/icra2007.html#SaranliP07

@inproceedings{conf/icra/SaranliP07, added-at = {2007-06-20T00:00:00.000+0200}, author = {Saranli, Uluc and Pfenning, Frank}, biburl = {https://www.bibsonomy.org/bibtex/2c43a6a78284ee617a78df2f3e3d5ab4e/dblp}, booktitle = {ICRA}, crossref = {conf/icra/2007}, date = {2007-06-20}, description = {dblp}, ee = {http://dx.doi.org/10.1109/ROBOT.2007.364046}, interhash = {cae410513246488b119c5648c39d9ffe}, intrahash = {c43a6a78284ee617a78df2f3e3d5ab4e}, keywords = {dblp}, pages = {3705-3710}, publisher = {IEEE}, timestamp = {2007-07-16T13:39:00.000+0200}, title = {Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems.}, url = {http://dblp.uni-trier.de/db/conf/icra/icra2007.html#SaranliP07}, year = 2007 }