%0 Conference Paper %1 journals/entcs/GeuversW08 %A Geuvers, Herman %A Wiedijk, Freek %B LFM@IJCAR %D 2004 %E Schürmann, Carsten %I Elsevier %K dblp %P 33-47 %T A Logical Framework with Explicit Conversions. %U http://dblp.uni-trier.de/db/journals/entcs/entcs199.html#GeuversW08 %V 199

@inproceedings{journals/entcs/GeuversW08, added-at = {2023-02-09T00:00:00.000+0100}, author = {Geuvers, Herman and Wiedijk, Freek}, biburl = {https://www.bibsonomy.org/bibtex/26f2094bd5e13a3cd74aeb8d7ecaad592/dblp}, booktitle = {LFM@IJCAR}, crossref = {conf/lfm/2004}, editor = {Schürmann, Carsten}, ee = {https://doi.org/10.1016/j.entcs.2007.11.011}, interhash = {124d2f1c8db2c9b034f4da1e62e0f424}, intrahash = {6f2094bd5e13a3cd74aeb8d7ecaad592}, keywords = {dblp}, pages = {33-47}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T01:04:29.000+0200}, title = {A Logical Framework with Explicit Conversions.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs199.html#GeuversW08}, volume = 199, year = 2004 }