Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/BlancoM15,
  author       = {Roberto Blanco and
                  Dale Miller},
  editor       = {Iliano Cervesato and
                  Carsten Sch{\"{u}}rmann},
  title        = {Proof Outlines as Proof Certificates: {A} System Description},
  booktitle    = {Proceedings First International Workshop on Focusing, WoF 2015, Suva,
                  Fiji, 23rd November 2015},
  series       = {{EPTCS}},
  volume       = {197},
  pages        = {7--14},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.197.2},
  doi          = {10.4204/EPTCS.197.2},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BlancoM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Graham-Lengrand15,
  author       = {St{\'{e}}phane Graham{-}Lengrand},
  editor       = {Iliano Cervesato and
                  Carsten Sch{\"{u}}rmann},
  title        = {Realisability semantics of abstract focussing, formalised},
  booktitle    = {Proceedings First International Workshop on Focusing, WoF 2015, Suva,
                  Fiji, 23rd November 2015},
  series       = {{EPTCS}},
  volume       = {197},
  pages        = {15--28},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.197.3},
  doi          = {10.4204/EPTCS.197.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Graham-Lengrand15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/MorrillV15,
  author       = {Glyn Morrill and
                  Oriol Valent{\'{\i}}n},
  editor       = {Iliano Cervesato and
                  Carsten Sch{\"{u}}rmann},
  title        = {Multiplicative-Additive Focusing for Parsing as Deduction},
  booktitle    = {Proceedings First International Workshop on Focusing, WoF 2015, Suva,
                  Fiji, 23rd November 2015},
  series       = {{EPTCS}},
  volume       = {197},
  pages        = {29--54},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.197.4},
  doi          = {10.4204/EPTCS.197.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MorrillV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/NigamRL15,
  author       = {Vivek Nigam and
                  Giselle Reis and
                  Leonardo Lima},
  editor       = {Iliano Cervesato and
                  Carsten Sch{\"{u}}rmann},
  title        = {Towards the Automated Generation of Focused Proof Systems},
  booktitle    = {Proceedings First International Workshop on Focusing, WoF 2015, Suva,
                  Fiji, 23rd November 2015},
  series       = {{EPTCS}},
  volume       = {197},
  pages        = {1--6},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.197.1},
  doi          = {10.4204/EPTCS.197.1},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/NigamRL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/CervesatoS15,
  editor       = {Iliano Cervesato and
                  Carsten Sch{\"{u}}rmann},
  title        = {Proceedings First International Workshop on Focusing, WoF 2015, Suva,
                  Fiji, 23rd November 2015},
  series       = {{EPTCS}},
  volume       = {197},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.197},
  doi          = {10.4204/EPTCS.197},
  timestamp    = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CervesatoS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}