Search dblp for Publications

export results for "toc:db/journals/entcs/entcs199.bht:"

 download as .bib file

@proceedings{DBLP:conf/lfm/2004,
  editor       = {Carsten Sch{\"{u}}rmann},
  title        = {Proceedings of the Fourth International Workshop on Logical Frameworks
                  and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {199},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/199/suppl/C},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lfm/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Abel08,
  author       = {Andreas Abel},
  editor       = {Carsten Sch{\"{u}}rmann},
  title        = {Normalization for the Simply-Typed Lambda-Calculus in Twelf},
  booktitle    = {Proceedings of the Fourth International Workshop on Logical Frameworks
                  and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {199},
  pages        = {3--16},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2007.11.009},
  doi          = {10.1016/J.ENTCS.2007.11.009},
  timestamp    = {Thu, 09 Feb 2023 12:05:38 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Abel08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AffeldtK08,
  author       = {Reynald Affeldt and
                  Naoki Kobayashi},
  editor       = {Carsten Sch{\"{u}}rmann},
  title        = {A Coq Library for Verification of Concurrent Programs},
  booktitle    = {Proceedings of the Fourth International Workshop on Logical Frameworks
                  and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {199},
  pages        = {17--32},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2007.11.010},
  doi          = {10.1016/J.ENTCS.2007.11.010},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AffeldtK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BubelRR08,
  author       = {Richard Bubel and
                  Andreas Roth and
                  Philipp R{\"{u}}mmer},
  editor       = {Carsten Sch{\"{u}}rmann},
  title        = {Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic
                  Logic},
  booktitle    = {Proceedings of the Fourth International Workshop on Logical Frameworks
                  and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {199},
  pages        = {107--128},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2007.11.015},
  doi          = {10.1016/J.ENTCS.2007.11.015},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BubelRR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GeuversW08,
  author       = {Herman Geuvers and
                  Freek Wiedijk},
  editor       = {Carsten Sch{\"{u}}rmann},
  title        = {A Logical Framework with Explicit Conversions},
  booktitle    = {Proceedings of the Fourth International Workshop on Logical Frameworks
                  and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {199},
  pages        = {33--47},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2007.11.011},
  doi          = {10.1016/J.ENTCS.2007.11.011},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GeuversW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/McCreightS08,
  author       = {Andrew McCreight and
                  Carsten Sch{\"{u}}rmann},
  editor       = {Carsten Sch{\"{u}}rmann},
  title        = {A Meta Linear Logical Framework},
  booktitle    = {Proceedings of the Fourth International Workshop on Logical Frameworks
                  and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {199},
  pages        = {129--147},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2007.11.016},
  doi          = {10.1016/J.ENTCS.2007.11.016},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/McCreightS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Reed08,
  author       = {Jason Reed},
  editor       = {Carsten Sch{\"{u}}rmann},
  title        = {Redundancy Elimination for {LF}},
  booktitle    = {Proceedings of the Fourth International Workshop on Logical Frameworks
                  and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {199},
  pages        = {89--106},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2007.11.014},
  doi          = {10.1016/J.ENTCS.2007.11.014},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Reed08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Schurmann08,
  author       = {Carsten Sch{\"{u}}rmann},
  editor       = {Carsten Sch{\"{u}}rmann},
  title        = {Preface},
  booktitle    = {Proceedings of the Fourth International Workshop on Logical Frameworks
                  and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {199},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2007.11.008},
  doi          = {10.1016/J.ENTCS.2007.11.008},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Schurmann08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SheardP08,
  author       = {Tim Sheard and
                  Emir Pasalic},
  editor       = {Carsten Sch{\"{u}}rmann},
  title        = {Meta-programming With Built-in Type Equality},
  booktitle    = {Proceedings of the Fourth International Workshop on Logical Frameworks
                  and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {199},
  pages        = {49--65},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2007.11.012},
  doi          = {10.1016/J.ENTCS.2007.11.012},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SheardP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Stump08,
  author       = {Aaron Stump},
  editor       = {Carsten Sch{\"{u}}rmann},
  title        = {Imperative {LF} Meta-Programming},
  booktitle    = {Proceedings of the Fourth International Workshop on Logical Frameworks
                  and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {199},
  pages        = {149--159},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2007.11.017},
  doi          = {10.1016/J.ENTCS.2007.11.017},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Stump08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/WatkinsCPW08,
  author       = {Kevin Watkins and
                  Iliano Cervesato and
                  Frank Pfenning and
                  David Walker},
  editor       = {Carsten Sch{\"{u}}rmann},
  title        = {Specifying Properties of Concurrent Computations in {CLF}},
  booktitle    = {Proceedings of the Fourth International Workshop on Logical Frameworks
                  and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {199},
  pages        = {67--87},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2007.11.013},
  doi          = {10.1016/J.ENTCS.2007.11.013},
  timestamp    = {Tue, 09 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/WatkinsCPW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.