%0 Conference Paper %1 journals/entcs/HardtS07 %A Hardt, Moritz %A Smolka, Gert %B HyLo@FLoC %D 2006 %E Blackburn, Patrick %E Bolander, Thomas %E Braüner, Torben %E de Paiva, Valeria %E Villadsen, Jørgen %I Elsevier %K dblp %N 6 %P 15-27 %T Higher-Order Syntax and Saturation Algorithms for Hybrid Logic. %U http://dblp.uni-trier.de/db/conf/hylo/hylo2006.html#HardtS07 %V 174

@inproceedings{journals/entcs/HardtS07, added-at = {2023-01-27T00:00:00.000+0100}, author = {Hardt, Moritz and Smolka, Gert}, biburl = {https://www.bibsonomy.org/bibtex/2428c376474ba8c35b2d3f5caa96f25de/dblp}, booktitle = {HyLo@FLoC}, crossref = {conf/hylo/2006}, editor = {Blackburn, Patrick and Bolander, Thomas and Braüner, Torben and de Paiva, Valeria and Villadsen, Jørgen}, ee = {https://doi.org/10.1016/j.entcs.2006.11.023}, interhash = {78dd723754ec7cfd71b808dc5f74ce11}, intrahash = {428c376474ba8c35b2d3f5caa96f25de}, keywords = {dblp}, number = 6, pages = {15-27}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T12:34:19.000+0200}, title = {Higher-Order Syntax and Saturation Algorithms for Hybrid Logic.}, url = {http://dblp.uni-trier.de/db/conf/hylo/hylo2006.html#HardtS07}, volume = 174, year = 2006 }