%0 Conference Paper %1 conf/wollic/BlackburnMMH19 %A Blackburn, Patrick %A Martins, Manuel A. %A Manzano, María %A Huertas, Antonia %B WoLLIC %D 2019 %E Iemhoff, Rosalie %E Moortgat, Michael %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 53-69 %T Rigid First-Order Hybrid Logic. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2019.html#BlackburnMMH19 %V 11541 %@ 978-3-662-59533-6

@inproceedings{conf/wollic/BlackburnMMH19, added-at = {2022-06-23T00:00:00.000+0200}, author = {Blackburn, Patrick and Martins, Manuel A. and Manzano, María and Huertas, Antonia}, biburl = {https://www.bibsonomy.org/bibtex/23e25bebe21e11411421f5d9bbb5acfee/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2019}, editor = {Iemhoff, Rosalie and Moortgat, Michael and de Queiroz, Ruy J. G. B.}, ee = {https://doi.org/10.1007/978-3-662-59533-6_4}, interhash = {a30ad143d4fe040553c85ae2ba00fb9c}, intrahash = {3e25bebe21e11411421f5d9bbb5acfee}, isbn = {978-3-662-59533-6}, keywords = {dblp}, pages = {53-69}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:24:51.000+0200}, title = {Rigid First-Order Hybrid Logic.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2019.html#BlackburnMMH19}, volume = 11541, year = 2019 }