Search dblp for Publications

export results for "toc:db/conf/lfm/lfm2002.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/Delahaye02,
  author       = {David Delahaye},
  editor       = {Frank Pfenning},
  title        = {A Proof Dedicated Meta-Language},
  booktitle    = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
                  2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {2},
  pages        = {96--109},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80508-5},
  doi          = {10.1016/S1571-0661(04)80508-5},
  timestamp    = {Tue, 06 Dec 2022 14:32:51 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Delahaye02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LopezPHPS02,
  author       = {Pablo L{\'{o}}pez and
                  Ernesto Pimentel and
                  Joshua S. Hodas and
                  Jeffrey Polakow and
                  Lubomira Stoilova},
  editor       = {Frank Pfenning},
  title        = {Isolating Resource Consumption in Linear Logic Proof Search},
  booktitle    = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
                  2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {2},
  pages        = {1--10},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80502-4},
  doi          = {10.1016/S1571-0661(04)80502-4},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LopezPHPS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MomiglianoAC02,
  author       = {Alberto Momigliano and
                  Simon Ambler and
                  Roy L. Crole},
  editor       = {Frank Pfenning},
  title        = {A Hybrid Encoding of Howe's Method for Establishing Congruence of
                  Bisimilarity},
  booktitle    = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
                  2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {2},
  pages        = {60--75},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80506-1},
  doi          = {10.1016/S1571-0661(04)80506-1},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MomiglianoAC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Pfenning02,
  author       = {Frank Pfenning},
  editor       = {Frank Pfenning},
  title        = {Preface},
  booktitle    = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
                  2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {2},
  pages        = {146},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80511-0},
  doi          = {10.1016/S1571-0661(05)80511-0},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Pfenning02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Pientka02,
  author       = {Brigitte Pientka},
  editor       = {Frank Pfenning},
  title        = {Memoization-Based Proof Search in {LF} - an Experimental Evaluation
                  of a Prototype},
  booktitle    = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
                  2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {2},
  pages        = {110--123},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80509-7},
  doi          = {10.1016/S1571-0661(04)80509-7},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Pientka02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RaamsdonkS02,
  author       = {Femke van Raamsdonk and
                  Paula Severi},
  editor       = {Frank Pfenning},
  title        = {Eliminating Proofs from Programs},
  booktitle    = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
                  2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {2},
  pages        = {42--59},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80505-X},
  doi          = {10.1016/S1571-0661(04)80505-X},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RaamsdonkS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ScagnettoM02,
  author       = {Ivan Scagnetto and
                  Marino Miculan},
  editor       = {Frank Pfenning},
  title        = {Ambient Calculus and its Logic in the Calculus of Inductive Constructions},
  booktitle    = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
                  2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {2},
  pages        = {76--95},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80507-3},
  doi          = {10.1016/S1571-0661(04)80507-3},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ScagnettoM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SchurmannA02,
  author       = {Carsten Sch{\"{u}}rmann and
                  Serge Autexier},
  editor       = {Frank Pfenning},
  title        = {Towards Proof Planning for M{\(\omega\)}\({}^{\mbox{+}}\)},
  booktitle    = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
                  2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {2},
  pages        = {124--145},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80510-3},
  doi          = {10.1016/S1571-0661(04)80510-3},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SchurmannA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/StumpBD02,
  author       = {Aaron Stump and
                  Clark W. Barrett and
                  David L. Dill},
  editor       = {Frank Pfenning},
  title        = {Producing Proofs from an Arithmetic Decision Procedure in Elliptical
                  {LF}},
  booktitle    = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
                  2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {2},
  pages        = {29--41},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80504-8},
  doi          = {10.1016/S1571-0661(04)80504-8},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/StumpBD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/VanderwaartC02,
  author       = {Joseph Vanderwaart and
                  Karl Crary},
  editor       = {Frank Pfenning},
  title        = {A Simplified Account of the Metatheory of Linear {LF}},
  booktitle    = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
                  2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {2},
  pages        = {11--28},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80503-6},
  doi          = {10.1016/S1571-0661(04)80503-6},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VanderwaartC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lfm/2002,
  editor       = {Frank Pfenning},
  title        = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
                  2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/70/issue/2},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lfm/2002.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.