Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/uitp/2008,
  editor       = {Serge Autexier and
                  Christoph Benzm{\"{u}}ller},
  title        = {Proceedings of the 8th International Workshop on User Interfaces for
                  Theorem Provers, UITP@TPHOLs 2008, Montr{\'{e}}al, Canada, August
                  22, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {226},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/226/suppl/C},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uitp/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AspertiT09,
  author       = {Andrea Asperti and
                  Enrico Tassi},
  editor       = {Serge Autexier and
                  Christoph Benzm{\"{u}}ller},
  title        = {An Interactive Driver for Goal-directed Proof Strategies},
  booktitle    = {Proceedings of the 8th International Workshop on User Interfaces for
                  Theorem Provers, UITP@TPHOLs 2008, Montr{\'{e}}al, Canada, August
                  22, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {226},
  pages        = {89--105},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.12.099},
  doi          = {10.1016/J.ENTCS.2008.12.099},
  timestamp    = {Fri, 24 Feb 2023 10:08:44 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AspertiT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AspinallALW09,
  author       = {David Aspinall and
                  Serge Autexier and
                  Christoph L{\"{u}}th and
                  Marc Wagner},
  editor       = {Serge Autexier and
                  Christoph Benzm{\"{u}}ller},
  title        = {Towards Merging PlatOmega and {PGIP}},
  booktitle    = {Proceedings of the 8th International Workshop on User Interfaces for
                  Theorem Provers, UITP@TPHOLs 2008, Montr{\'{e}}al, Canada, August
                  22, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {226},
  pages        = {3--21},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.12.094},
  doi          = {10.1016/J.ENTCS.2008.12.094},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AspinallALW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AutexierB09,
  author       = {Serge Autexier and
                  Christoph Benzm{\"{u}}ller},
  editor       = {Serge Autexier and
                  Christoph Benzm{\"{u}}ller},
  title        = {Preface},
  booktitle    = {Proceedings of the 8th International Workshop on User Interfaces for
                  Theorem Provers, UITP@TPHOLs 2008, Montr{\'{e}}al, Canada, August
                  22, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {226},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.12.093},
  doi          = {10.1016/J.ENTCS.2008.12.093},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AutexierB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ByrnesBEMRK09,
  author       = {John Byrnes and
                  Michael Buchanan and
                  Michael Ernst and
                  Philip Miller and
                  Chris Roberts and
                  Robert Keller},
  editor       = {Serge Autexier and
                  Christoph Benzm{\"{u}}ller},
  title        = {Visualizing Proof Search for Theorem Prover Development},
  booktitle    = {Proceedings of the 8th International Workshop on User Interfaces for
                  Theorem Provers, UITP@TPHOLs 2008, Montr{\'{e}}al, Canada, August
                  22, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {226},
  pages        = {23--38},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.12.095},
  doi          = {10.1016/J.ENTCS.2008.12.095},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ByrnesBEMRK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Coen09,
  author       = {Claudio Sacerdoti Coen},
  editor       = {Serge Autexier and
                  Christoph Benzm{\"{u}}ller},
  title        = {A User Interface for a Mathematical System that Allows Ambiguous Formulae},
  booktitle    = {Proceedings of the 8th International Workshop on User Interfaces for
                  Theorem Provers, UITP@TPHOLs 2008, Montr{\'{e}}al, Canada, August
                  22, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {226},
  pages        = {67--87},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.12.098},
  doi          = {10.1016/J.ENTCS.2008.12.098},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Coen09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FarmerG09,
  author       = {William M. Farmer and
                  Orlin G. Grigorov},
  editor       = {Serge Autexier and
                  Christoph Benzm{\"{u}}ller},
  title        = {Panoptes: An Exploration Tool for Formal Proofs},
  booktitle    = {Proceedings of the 8th International Workshop on User Interfaces for
                  Theorem Provers, UITP@TPHOLs 2008, Montr{\'{e}}al, Canada, August
                  22, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {226},
  pages        = {39--48},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.12.096},
  doi          = {10.1016/J.ENTCS.2008.12.096},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FarmerG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Gast09,
  author       = {Holger Gast},
  editor       = {Serge Autexier and
                  Christoph Benzm{\"{u}}ller},
  title        = {Managing Proof Documents for Asynchronous Processing},
  booktitle    = {Proceedings of the 8th International Workshop on User Interfaces for
                  Theorem Provers, UITP@TPHOLs 2008, Montr{\'{e}}al, Canada, August
                  22, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {226},
  pages        = {49--66},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.12.097},
  doi          = {10.1016/J.ENTCS.2008.12.097},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Gast09.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.