Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs113.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1303-7326,
  author       = {Beniamino Accattoli},
  editor       = {Delia Kesner and
                  Petrucio Viana},
  title        = {Proof nets and the call-by-value lambda-calculus},
  booktitle    = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with
                  Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30,
                  2012},
  series       = {{EPTCS}},
  volume       = {113},
  pages        = {11--26},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.113.5},
  doi          = {10.4204/EPTCS.113.5},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-7326.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1303-7327,
  author       = {Carlos Areces and
                  Guillaume Hoffmann and
                  Ezequiel Orbe},
  editor       = {Delia Kesner and
                  Petrucio Viana},
  title        = {Symmetries in Modal Logics},
  booktitle    = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with
                  Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30,
                  2012},
  series       = {{EPTCS}},
  volume       = {113},
  pages        = {27--44},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.113.6},
  doi          = {10.4204/EPTCS.113.6},
  timestamp    = {Mon, 01 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-7327.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1303-7328,
  author       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Maribel Fern{\'{a}}ndez and
                  Daniele Nantes Sobrinho},
  editor       = {Delia Kesner and
                  Petrucio Viana},
  title        = {Elementary Deduction Problem for Locally Stable Theories with Normal
                  Forms},
  booktitle    = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with
                  Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30,
                  2012},
  series       = {{EPTCS}},
  volume       = {113},
  pages        = {45--60},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.113.7},
  doi          = {10.4204/EPTCS.113.7},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-7328.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1303-7329,
  author       = {Antonio Bucciarelli and
                  Alberto Carraro and
                  Antonino Salibra},
  editor       = {Delia Kesner and
                  Petrucio Viana},
  title        = {Minimal lambda-theories by ultraproducts},
  booktitle    = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with
                  Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30,
                  2012},
  series       = {{EPTCS}},
  volume       = {113},
  pages        = {61--76},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.113.8},
  doi          = {10.4204/EPTCS.113.8},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-7329.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1303-7330,
  author       = {Alberto Carraro},
  editor       = {Delia Kesner and
                  Petrucio Viana},
  title        = {The untyped stack calculus and Bohm's theorem},
  booktitle    = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with
                  Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30,
                  2012},
  series       = {{EPTCS}},
  volume       = {113},
  pages        = {77--92},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.113.9},
  doi          = {10.4204/EPTCS.113.9},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-7330.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1303-7331,
  author       = {Alberto Carraro and
                  Thomas Ehrhard and
                  Antonino Salibra},
  editor       = {Delia Kesner and
                  Petrucio Viana},
  title        = {The stack calculus},
  booktitle    = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with
                  Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30,
                  2012},
  series       = {{EPTCS}},
  volume       = {113},
  pages        = {93--108},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.113.10},
  doi          = {10.4204/EPTCS.113.10},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-7331.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1303-7332,
  author       = {Alberto Ciaffaglione and
                  Ivan Scagnetto},
  editor       = {Delia Kesner and
                  Petrucio Viana},
  title        = {A weak {HOAS} approach to the POPLmark Challenge},
  booktitle    = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with
                  Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30,
                  2012},
  series       = {{EPTCS}},
  volume       = {113},
  pages        = {109--124},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.113.11},
  doi          = {10.4204/EPTCS.113.11},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-7332.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1303-7333,
  author       = {Marcelo E. Coniglio and
                  Mar{\'{\i}}a I. Corbal{\'{a}}n},
  editor       = {Delia Kesner and
                  Petrucio Viana},
  title        = {Sequent Calculi for the classical fragment of Bochvar and Halld{\'{e}}n's
                  Nonsense Logics},
  booktitle    = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with
                  Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30,
                  2012},
  series       = {{EPTCS}},
  volume       = {113},
  pages        = {125--136},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.113.12},
  doi          = {10.4204/EPTCS.113.12},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-7333.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1303-7334,
  author       = {Alejandro D{\'{\i}}az{-}Caro and
                  Gilles Dowek},
  editor       = {Delia Kesner and
                  Petrucio Viana},
  title        = {Non determinism through type isomorphism},
  booktitle    = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with
                  Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30,
                  2012},
  series       = {{EPTCS}},
  volume       = {113},
  pages        = {137--144},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.113.13},
  doi          = {10.4204/EPTCS.113.13},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-7334.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1303-7335,
  author       = {Ana Cristina Rocha Oliveira and
                  Mauricio Ayala{-}Rinc{\'{o}}n},
  editor       = {Delia Kesner and
                  Petrucio Viana},
  title        = {Formalizing the Confluence of Orthogonal Rewriting Systems},
  booktitle    = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with
                  Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30,
                  2012},
  series       = {{EPTCS}},
  volume       = {113},
  pages        = {145--152},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.113.14},
  doi          = {10.4204/EPTCS.113.14},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-7335.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1303-7336,
  author       = {Paulo A. S. Veloso and
                  Sheila R. M. Veloso},
  editor       = {Delia Kesner and
                  Petrucio Viana},
  title        = {A Graph Calculus for Predicate Logic},
  booktitle    = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with
                  Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30,
                  2012},
  series       = {{EPTCS}},
  volume       = {113},
  pages        = {153--168},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.113.15},
  doi          = {10.4204/EPTCS.113.15},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-7336.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1303-7136,
  editor       = {Delia Kesner and
                  Petrucio Viana},
  title        = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with
                  Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30,
                  2012},
  series       = {{EPTCS}},
  volume       = {113},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.113},
  doi          = {10.4204/EPTCS.113},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-7136.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.