Search dblp for Publications

export results for "stream:streams/conf/merlin:"

 download as .bib file

@inproceedings{DBLP:journals/tcs/Abel01,
  author       = {Andreas Abel},
  editor       = {Simon Ambler and
                  Roy L. Crole and
                  Alberto Momigliano},
  title        = {A Third-Order Representation of the lambda-mu-Calculus},
  booktitle    = {Mechanized Reasoning about Languages with Variable Binding, {MERLIN}
                  2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {58},
  number       = {1},
  pages        = {97--114},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00281-6},
  doi          = {10.1016/S1571-0661(04)00281-6},
  timestamp    = {Thu, 01 Dec 2022 15:28:01 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Abel01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/AmblerCM01,
  author       = {Simon Ambler and
                  Roy L. Crole and
                  Alberto Momigliano},
  editor       = {Simon Ambler and
                  Roy L. Crole and
                  Alberto Momigliano},
  title        = {Preface: Mechanised Reasoning about Languages with Variable Binding
                  2001},
  booktitle    = {Mechanized Reasoning about Languages with Variable Binding, {MERLIN}
                  2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {58},
  number       = {1},
  pages        = {115--116},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(05)80579-1},
  doi          = {10.1016/S1571-0661(05)80579-1},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AmblerCM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Miculan01,
  author       = {Marino Miculan},
  editor       = {Simon Ambler and
                  Roy L. Crole and
                  Alberto Momigliano},
  title        = {Developing (Meta)Theory of Lambda-calculus in the Theory of Context},
  booktitle    = {Mechanized Reasoning about Languages with Variable Binding, {MERLIN}
                  2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {58},
  number       = {1},
  pages        = {37--58},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00278-6},
  doi          = {10.1016/S1571-0661(04)00278-6},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Miculan01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Miller01,
  author       = {Dale Miller},
  editor       = {Simon Ambler and
                  Roy L. Crole and
                  Alberto Momigliano},
  title        = {Encoding Generic Judgments: Preliminary results},
  booktitle    = {Mechanized Reasoning about Languages with Variable Binding, {MERLIN}
                  2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {58},
  number       = {1},
  pages        = {59--78},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00279-8},
  doi          = {10.1016/S1571-0661(04)00279-8},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Miller01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Rockl01,
  author       = {Christine R{\"{o}}ckl},
  editor       = {Simon Ambler and
                  Roy L. Crole and
                  Alberto Momigliano},
  title        = {A First-Order Syntax for the Pi-Calculus in Isabelle/HOL using Permutations},
  booktitle    = {Mechanized Reasoning about Languages with Variable Binding, {MERLIN}
                  2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {58},
  number       = {1},
  pages        = {1--17},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00276-2},
  doi          = {10.1016/S1571-0661(04)00276-2},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Rockl01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/SchurmannYN01,
  author       = {Carsten Sch{\"{u}}rmann and
                  Dachuan Yu and
                  Zhaozhong Ni},
  editor       = {Simon Ambler and
                  Roy L. Crole and
                  Alberto Momigliano},
  title        = {A Representation of Fomega in {LF}},
  booktitle    = {Mechanized Reasoning about Languages with Variable Binding, {MERLIN}
                  2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {58},
  number       = {1},
  pages        = {79--96},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00280-4},
  doi          = {10.1016/S1571-0661(04)00280-4},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SchurmannYN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/VestergaardB01,
  author       = {Ren{\'{e}} Vestergaard and
                  James Brotherston},
  editor       = {Simon Ambler and
                  Roy L. Crole and
                  Alberto Momigliano},
  title        = {The Mechanisation of Barendregt-Style Equational Proofs (the Residual
                  Perspective)},
  booktitle    = {Mechanized Reasoning about Languages with Variable Binding, {MERLIN}
                  2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {58},
  number       = {1},
  pages        = {18--36},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00277-4},
  doi          = {10.1016/S1571-0661(04)00277-4},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/VestergaardB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/merlin/2001,
  editor       = {Simon Ambler and
                  Roy L. Crole and
                  Alberto Momigliano},
  title        = {Mechanized Reasoning about Languages with Variable Binding, {MERLIN}
                  2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {58},
  number       = {1},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/58/issue/1},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/merlin/2001.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.