%0 Conference Paper %1 conf/wollic/Foret07 %A Foret, Annie %B WoLLIC %D 2007 %E Leivant, Daniel %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 147-161 %T Pregroup Calculus as a Logic Functor. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2007.html#Foret07 %V 4576 %@ 978-3-540-73443-7

@inproceedings{conf/wollic/Foret07, added-at = {2017-05-25T00:00:00.000+0200}, author = {Foret, Annie}, biburl = {https://www.bibsonomy.org/bibtex/2acf80c2dbbffd345f4541bfb3bb317b9/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2007}, editor = {Leivant, Daniel and de Queiroz, Ruy J. G. B.}, ee = {https://doi.org/10.1007/978-3-540-73445-1_11}, interhash = {1271f4bd7b3c29d9a19fef84897926fc}, intrahash = {acf80c2dbbffd345f4541bfb3bb317b9}, isbn = {978-3-540-73443-7}, keywords = {dblp}, pages = {147-161}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:00:52.000+0200}, title = {Pregroup Calculus as a Logic Functor.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2007.html#Foret07}, volume = 4576, year = 2007 }