%0 Conference Paper %1 conf/iccs/Kent13 %A Kent, Robert E. %B ICCS %D 2013 %E Pfeiffer, Heather D. %E Ignatov, Dmitry I. %E Poelmans, Jonas %E Gadiraju, Nagarjuna %I Springer %K dblp %P 210-230 %T The First-Order Logical Environment. %U http://dblp.uni-trier.de/db/conf/iccs/iccs2013.html#Kent13 %V 7735 %@ 978-3-642-35786-2

@inproceedings{conf/iccs/Kent13, added-at = {2017-05-26T00:00:00.000+0200}, author = {Kent, Robert E.}, biburl = {https://www.bibsonomy.org/bibtex/2edf32390ca3bb019aa11f5015d9a3b1e/dblp}, booktitle = {ICCS}, crossref = {conf/iccs/2013}, editor = {Pfeiffer, Heather D. and Ignatov, Dmitry I. and Poelmans, Jonas and Gadiraju, Nagarjuna}, ee = {https://doi.org/10.1007/978-3-642-35786-2_15}, interhash = {3e2aafe349a5b54d8bf8cb4f16db962a}, intrahash = {edf32390ca3bb019aa11f5015d9a3b1e}, isbn = {978-3-642-35786-2}, keywords = {dblp}, pages = {210-230}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:50:07.000+0200}, title = {The First-Order Logical Environment.}, url = {http://dblp.uni-trier.de/db/conf/iccs/iccs2013.html#Kent13}, volume = 7735, year = 2013 }