Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/uitp:"
download as .bib file
@proceedings{DBLP:journals/corr/AutexierQ17,
editor = {Serge Autexier and
Pedro Quaresma},
title = {Proceedings of the 12th Workshop on User Interfaces for Theorem Provers,
{UITP} 2016, Coimbra, Portugal, 2nd July 2016},
series = {{EPTCS}},
volume = {239},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.239},
doi = {10.4204/EPTCS.239},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AutexierQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AriasPJ17,
author = {Emilio Jes{\'{u}}s Gallego Arias and
Beno{\^{\i}}t Pin and
Pierre Jouvelot},
editor = {Serge Autexier and
Pedro Quaresma},
title = {jsCoq: Towards Hybrid Theorem Proving Interfaces},
booktitle = {Proceedings of the 12th Workshop on User Interfaces for Theorem Provers,
{UITP} 2016, Coimbra, Portugal, 2nd July 2016},
series = {{EPTCS}},
volume = {239},
pages = {15--27},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.239.2},
doi = {10.4204/EPTCS.239.2},
timestamp = {Wed, 12 Sep 2018 01:05:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/AriasPJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ConchonIM17,
author = {Sylvain Conchon and
Mohamed Iguernelala and
Alain Mebsout},
editor = {Serge Autexier and
Pedro Quaresma},
title = {AltGr-Ergo, a Graphical User Interface for the {SMT} Solver Alt-Ergo},
booktitle = {Proceedings of the 12th Workshop on User Interfaces for Theorem Provers,
{UITP} 2016, Coimbra, Portugal, 2nd July 2016},
series = {{EPTCS}},
volume = {239},
pages = {1--13},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.239.1},
doi = {10.4204/EPTCS.239.1},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ConchonIM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LinkerBJ17,
author = {Sven Linker and
Jim Burton and
Mateja Jamnik},
editor = {Serge Autexier and
Pedro Quaresma},
title = {Tactical Diagrammatic Reasoning},
booktitle = {Proceedings of the 12th Workshop on User Interfaces for Theorem Provers,
{UITP} 2016, Coimbra, Portugal, 2nd July 2016},
series = {{EPTCS}},
volume = {239},
pages = {29--42},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.239.3},
doi = {10.4204/EPTCS.239.3},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LinkerBJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/RingL17,
author = {Martin Ring and
Christoph L{\"{u}}th},
editor = {Serge Autexier and
Pedro Quaresma},
title = {Interactive Proof Presentations with Cobra},
booktitle = {Proceedings of the 12th Workshop on User Interfaces for Theorem Provers,
{UITP} 2016, Coimbra, Portugal, 2nd July 2016},
series = {{EPTCS}},
volume = {239},
pages = {43--52},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.239.4},
doi = {10.4204/EPTCS.239.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RingL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BeckertGB14,
author = {Bernhard Beckert and
Sarah Grebing and
Florian B{\"{o}}hl},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {How to Put Usability into Focus: Using Focus Groups to Evaluate the
Usability of Interactive Theorem Provers},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {4--13},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.3},
doi = {10.4204/EPTCS.167.3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BeckertGB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Butterfield14,
author = {Andrew Butterfield},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {{UTP2:} Higher-Order Equational Reasoning by Pointing},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {14--22},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.4},
doi = {10.4204/EPTCS.167.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Butterfield14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GrovKL14,
author = {Gudmund Grov and
Aleks Kissinger and
Yuhui Lin},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {Tinker, tailor, solver, proof},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {23--34},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.5},
doi = {10.4204/EPTCS.167.5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GrovKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LibalRR14,
author = {Tomer Libal and
Martin Riener and
Mikheil Rukhaia},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {Advanced Proof Viewing in ProofTool},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {35--47},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.6},
doi = {10.4204/EPTCS.167.6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LibalRR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Rabe14,
author = {Florian Rabe},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {A Logic-Independent {IDE}},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {48--60},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.7},
doi = {10.4204/EPTCS.167.7},
timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Rabe14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SternagelT14,
author = {Christian Sternagel and
Ren{\'{e}} Thiemann},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {The Certification Problem Format},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {61--72},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.8},
doi = {10.4204/EPTCS.167.8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SternagelT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Tankink14,
author = {Carst Tankink},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {{PIDE} for Asynchronous Interaction with Coq},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {73--83},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.9},
doi = {10.4204/EPTCS.167.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Tankink14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Wenzel14,
author = {Makarius Wenzel},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {System description: Isabelle/jEdit in 2014},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {84--94},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.10},
doi = {10.4204/EPTCS.167.10},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Wenzel14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BenzmullerP14,
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167},
doi = {10.4204/EPTCS.167},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BenzmullerP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/KaliszykL13,
editor = {Cezary Kaliszyk and
Christoph L{\"{u}}th},
title = {Proceedings 10th International Workshop On User Interfaces for Theorem
Provers, {UITP} 2012, Bremen, Germany, July 11th, 2012},
series = {{EPTCS}},
volume = {118},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.118},
doi = {10.4204/EPTCS.118},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/KaliszykL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DunchevLLRRWP13,
author = {Cvetan Dunchev and
Alexander Leitsch and
Tomer Libal and
Martin Riener and
Mikheil Rukhaia and
Daniel Weller and
Bruno Woltzenlogel Paleo},
editor = {Cezary Kaliszyk and
Christoph L{\"{u}}th},
title = {{PROOFTOOL:} a {GUI} for the {GAPT} Framework},
booktitle = {Proceedings 10th International Workshop On User Interfaces for Theorem
Provers, {UITP} 2012, Bremen, Germany, July 11th, 2012},
series = {{EPTCS}},
volume = {118},
pages = {1--14},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.118.1},
doi = {10.4204/EPTCS.118.1},
timestamp = {Wed, 16 Mar 2022 23:52:32 +0100},
biburl = {https://dblp.org/rec/journals/corr/DunchevLLRRWP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Tankink13,
author = {Carst Tankink},
editor = {Cezary Kaliszyk and
Christoph L{\"{u}}th},
title = {Proof in Context - Web Editing with Rich, Modeless Contextual Feedback},
booktitle = {Proceedings 10th International Workshop On User Interfaces for Theorem
Provers, {UITP} 2012, Bremen, Germany, July 11th, 2012},
series = {{EPTCS}},
volume = {118},
pages = {42--56},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.118.3},
doi = {10.4204/EPTCS.118.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Tankink13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Wenzel13,
author = {Makarius Wenzel},
editor = {Cezary Kaliszyk and
Christoph L{\"{u}}th},
title = {{READ-EVAL-PRINT} in Parallel and Asynchronous Proof-checking},
booktitle = {Proceedings 10th International Workshop On User Interfaces for Theorem
Provers, {UITP} 2012, Bremen, Germany, July 11th, 2012},
series = {{EPTCS}},
volume = {118},
pages = {57--71},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.118.4},
doi = {10.4204/EPTCS.118.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Wenzel13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Windsteiger13,
author = {Wolfgang Windsteiger},
editor = {Cezary Kaliszyk and
Christoph L{\"{u}}th},
title = {Theorema 2.0: {A} Graphical User Interface for a Mathematical Assistant
System},
booktitle = {Proceedings 10th International Workshop On User Interfaces for Theorem
Provers, {UITP} 2012, Bremen, Germany, July 11th, 2012},
series = {{EPTCS}},
volume = {118},
pages = {72--82},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.118.5},
doi = {10.4204/EPTCS.118.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Windsteiger13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1212-3618,
author = {Ekaterina Komendantskaya and
J{\'{o}}nathan Heras and
Gudmund Grov},
editor = {Cezary Kaliszyk and
Christoph L{\"{u}}th},
title = {Machine Learning in Proof General: Interfacing Interfaces},
booktitle = {Proceedings 10th International Workshop On User Interfaces for Theorem
Provers, {UITP} 2012, Bremen, Germany, July 11th, 2012},
series = {{EPTCS}},
volume = {118},
pages = {15--41},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.118.2},
doi = {10.4204/EPTCS.118.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-3618.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uitp/2010,
editor = {David Aspinall and
Claudio Sacerdoti Coen},
title = {Proceedings of the 9th International Workshop On User Interfaces for
Theorem Provers, {UITP} 2010, Edinburgh, UK, July 15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {285},
publisher = {Elsevier},
year = {2012},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/285/suppl/C},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uitp/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AspinallC12,
author = {David Aspinall and
Claudio Sacerdoti Coen},
editor = {David Aspinall and
Claudio Sacerdoti Coen},
title = {Preface},
booktitle = {Proceedings of the 9th International Workshop On User Interfaces for
Theorem Provers, {UITP} 2010, Edinburgh, UK, July 15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {285},
pages = {1--2},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.06.001},
doi = {10.1016/J.ENTCS.2012.06.001},
timestamp = {Fri, 25 Nov 2022 14:25:12 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AspinallC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Gast12,
author = {Holger Gast},
editor = {David Aspinall and
Claudio Sacerdoti Coen},
title = {Engineering the Prover Interface},
booktitle = {Proceedings of the 9th International Workshop On User Interfaces for
Theorem Provers, {UITP} 2010, Edinburgh, UK, July 15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {285},
pages = {3--16},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.06.002},
doi = {10.1016/J.ENTCS.2012.06.002},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Gast12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KomendantskyKL12,
author = {Vladimir Komendantsky and
Alexander Konovalov and
Steve Linton},
editor = {David Aspinall and
Claudio Sacerdoti Coen},
title = {Interfacing Coq + SSReflect with {GAP}},
booktitle = {Proceedings of the 9th International Workshop On User Interfaces for
Theorem Provers, {UITP} 2010, Edinburgh, UK, July 15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {285},
pages = {17--28},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.06.003},
doi = {10.1016/J.ENTCS.2012.06.003},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KomendantskyKL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LapetsK12,
author = {Andrei Lapets and
Assaf J. Kfoury},
editor = {David Aspinall and
Claudio Sacerdoti Coen},
title = {A User-friendly Interface for a Lightweight Verification System},
booktitle = {Proceedings of the 9th International Workshop On User Interfaces for
Theorem Provers, {UITP} 2010, Edinburgh, UK, July 15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {285},
pages = {29--41},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.06.004},
doi = {10.1016/J.ENTCS.2012.06.004},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LapetsK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MeikleF12,
author = {Laura I. Meikle and
Jacques D. Fleuriot},
editor = {David Aspinall and
Claudio Sacerdoti Coen},
title = {Integrating Systems around the User: Combining Isabelle, Maple, and
{QEPCAD} in the Prover's Palette},
booktitle = {Proceedings of the 9th International Workshop On User Interfaces for
Theorem Provers, {UITP} 2010, Edinburgh, UK, July 15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {285},
pages = {115--119},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.06.010},
doi = {10.1016/J.ENTCS.2012.06.010},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MeikleF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PhamB12,
author = {Tuan{-}Minh Pham and
Yves Bertot},
editor = {David Aspinall and
Claudio Sacerdoti Coen},
title = {A Combination of a Dynamic Geometry Software With a Proof Assistant
for Interactive Formal Proofs},
booktitle = {Proceedings of the 9th International Workshop On User Interfaces for
Theorem Provers, {UITP} 2010, Edinburgh, UK, July 15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {285},
pages = {43--55},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.06.005},
doi = {10.1016/J.ENTCS.2012.06.005},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PhamB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Slaney12,
author = {John K. Slaney},
editor = {David Aspinall and
Claudio Sacerdoti Coen},
title = {Visualising Reasoning: What {ATP} Can Learn From {CP}},
booktitle = {Proceedings of the 9th International Workshop On User Interfaces for
Theorem Provers, {UITP} 2010, Edinburgh, UK, July 15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {285},
pages = {57--70},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.06.006},
doi = {10.1016/J.ENTCS.2012.06.006},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Slaney12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TankinkGM12,
author = {Carst Tankink and
Herman Geuvers and
James McKinna},
editor = {David Aspinall and
Claudio Sacerdoti Coen},
title = {Narrating Formal Proof (Work in Progress)},
booktitle = {Proceedings of the 9th International Workshop On User Interfaces for
Theorem Provers, {UITP} 2010, Edinburgh, UK, July 15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {285},
pages = {71--83},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.06.007},
doi = {10.1016/J.ENTCS.2012.06.007},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TankinkGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Wenzel12,
author = {Makarius Wenzel},
editor = {David Aspinall and
Claudio Sacerdoti Coen},
title = {Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit},
booktitle = {Proceedings of the 9th International Workshop On User Interfaces for
Theorem Provers, {UITP} 2010, Edinburgh, UK, July 15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {285},
pages = {101--114},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.06.009},
doi = {10.1016/J.ENTCS.2012.06.009},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Wenzel12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Wiedijk12,
author = {Freek Wiedijk},
editor = {David Aspinall and
Claudio Sacerdoti Coen},
title = {Pollack-inconsistency},
booktitle = {Proceedings of the 9th International Workshop On User Interfaces for
Theorem Provers, {UITP} 2010, Edinburgh, UK, July 15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {285},
pages = {85--100},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.06.008},
doi = {10.1016/J.ENTCS.2012.06.008},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Wiedijk12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@proceedings{DBLP:conf/uitp/2006,
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers,
UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {2},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/2},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uitp/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AutexierB07,
author = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {Preface},
booktitle = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers,
UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.017},
doi = {10.1016/J.ENTCS.2006.09.017},
timestamp = {Fri, 27 Jan 2023 11:44:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AutexierB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CoenTZ07,
author = {Claudio Sacerdoti Coen and
Enrico Tassi and
Stefano Zacchiroli},
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {Tinycals: Step by Step Tacticals},
booktitle = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers,
UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {2},
pages = {125--142},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.026},
doi = {10.1016/J.ENTCS.2006.09.026},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CoenTZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Dennis07,
author = {Louise A. Dennis},
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {Enhancing Theorem Prover Interfaces with Program Slice Information},
booktitle = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers,
UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {2},
pages = {19--33},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.019},
doi = {10.1016/J.ENTCS.2006.09.019},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Dennis07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DillingerMVM07,
author = {Peter C. Dillinger and
Panagiotis Manolios and
Daron Vroon and
J Strother Moore},
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {ACL2s: "The {ACL2} Sedan"},
booktitle = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers,
UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {2},
pages = {3--18},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.018},
doi = {10.1016/J.ENTCS.2006.09.018},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DillingerMVM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kaliszyk07,
author = {Cezary Kaliszyk},
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {Web Interfaces for Proof Assistants},
booktitle = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers,
UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {2},
pages = {49--61},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.021},
doi = {10.1016/J.ENTCS.2006.09.021},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kaliszyk07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MulhernFL07,
author = {Anne Mulhern and
Charles N. Fischer and
Ben Liblit},
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {Tool Support for Proof Engineering},
booktitle = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers,
UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {2},
pages = {75--86},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.023},
doi = {10.1016/J.ENTCS.2006.09.023},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MulhernFL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/QuaresmaJ07,
author = {Pedro Quaresma and
Predrag Janicic},
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {GeoThms - a Web System for Euclidean Constructive Geometry},
booktitle = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers,
UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {2},
pages = {35--48},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.020},
doi = {10.1016/J.ENTCS.2006.09.020},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/QuaresmaJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TracPS07,
author = {Steven Trac and
Yury Puzis and
Geoff Sutcliffe},
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {An Interactive Derivation Viewer},
booktitle = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers,
UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {2},
pages = {109--123},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.025},
doi = {10.1016/J.ENTCS.2006.09.025},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TracPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/UrbanB07,
author = {Josef Urban and
Grzegorz Bancerek},
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {Presenting and Explaining Mizar},
booktitle = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers,
UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {2},
pages = {63--74},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.022},
doi = {10.1016/J.ENTCS.2006.09.022},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/UrbanB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WagnerAB07,
author = {Marc Wagner and
Serge Autexier and
Christoph Benzm{\"{u}}ller},
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {PlatOmega: {A} Mediator between Text-Editors and Proof Assistance
Systems},
booktitle = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers,
UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {2},
pages = {87--107},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.024},
doi = {10.1016/J.ENTCS.2006.09.024},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WagnerAB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uitp/2003,
editor = {David Aspinall and
Christoph L{\"{u}}th},
title = {Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs
2003, Rome, Italy, September 8, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {103},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/103/suppl/C},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uitp/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AspinallL04,
author = {David Aspinall and
Christoph L{\"{u}}th},
editor = {David Aspinall and
Christoph L{\"{u}}th},
title = {Preface},
booktitle = {Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs
2003, Rome, Italy, September 8, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {103},
pages = {1--2},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.09.010},
doi = {10.1016/J.ENTCS.2004.09.010},
timestamp = {Fri, 09 Dec 2022 11:35:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AspinallL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AspinallL04a,
author = {David Aspinall and
Christoph L{\"{u}}th},
editor = {David Aspinall and
Christoph L{\"{u}}th},
title = {Proof General meets IsaWin: Combining Text-Based And Graphical User
Interfaces},
booktitle = {Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs
2003, Rome, Italy, September 8, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {103},
pages = {3--26},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.09.011},
doi = {10.1016/J.ENTCS.2004.09.011},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AspinallL04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AudebaudR04,
author = {Philippe Audebaud and
Laurence Rideau},
editor = {David Aspinall and
Christoph L{\"{u}}th},
title = {TEXmacs as Authoring Tool for Formal Developments},
booktitle = {Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs
2003, Rome, Italy, September 8, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {103},
pages = {27--48},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.09.012},
doi = {10.1016/J.ENTCS.2004.09.012},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AudebaudR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BertotGP04,
author = {Yves Bertot and
Fr{\'{e}}d{\'{e}}rique Guilhot and
Loic Pottier},
editor = {David Aspinall and
Christoph L{\"{u}}th},
title = {Visualizing Geometrical Statements with GeoView},
booktitle = {Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs
2003, Rome, Italy, September 8, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {103},
pages = {49--65},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.09.013},
doi = {10.1016/J.ENTCS.2004.09.013},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BertotGP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Giese04,
author = {Martin Giese},
editor = {David Aspinall and
Christoph L{\"{u}}th},
title = {Taclets and the KeY Prover},
booktitle = {Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs
2003, Rome, Italy, September 8, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {103},
pages = {67--79},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.09.014},
doi = {10.1016/J.ENTCS.2004.09.014},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Giese04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HubnerABM04,
author = {Malte H{\"{u}}bner and
Serge Autexier and
Christoph Benzm{\"{u}}ller and
Andreas Meier},
editor = {David Aspinall and
Christoph L{\"{u}}th},
title = {Interactive Theorem Proving with Tasks},
booktitle = {Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs
2003, Rome, Italy, September 8, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {103},
pages = {161--181},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.021},
doi = {10.1016/J.ENTCS.2004.02.021},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HubnerABM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kiniry04,
author = {Joseph Kiniry},
editor = {David Aspinall and
Christoph L{\"{u}}th},
title = {Formalizing the User's Context to Support User Interfaces for Integrated
Mathematical Environments},
booktitle = {Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs
2003, Rome, Italy, September 8, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {103},
pages = {81--103},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.09.015},
doi = {10.1016/J.ENTCS.2004.09.015},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kiniry04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MeierMP04,
author = {Andreas Meier and
Erica Melis and
Martin Pollet},
editor = {David Aspinall and
Christoph L{\"{u}}th},
title = {Adaptable Mixed-Initiative Proof Planning for Educational Interaction},
booktitle = {Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs
2003, Rome, Italy, September 8, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {103},
pages = {105--120},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.07.001},
doi = {10.1016/J.ENTCS.2004.07.001},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MeierMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Thery04,
author = {Laurent Th{\'{e}}ry},
editor = {David Aspinall and
Christoph L{\"{u}}th},
title = {Colouring Proofs: {A} Lightweight Approach to Adding Formal Structure
to Proofs},
booktitle = {Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs
2003, Rome, Italy, September 8, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {103},
pages = {121--138},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.07.002},
doi = {10.1016/J.ENTCS.2004.07.002},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Thery04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Volker04,
author = {Norbert V{\"{o}}lker},
editor = {David Aspinall and
Christoph L{\"{u}}th},
title = {Thoughts on Requirements and Design Issues of User Interfaces for
Proof Assistants},
booktitle = {Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs
2003, Rome, Italy, September 8, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {103},
pages = {139--159},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.05.001},
doi = {10.1016/J.ENTCS.2004.05.001},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Volker04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-25 15:14 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
