![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "stream:conf/uitp:"
@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 = {Tue, 07 May 2024 01:00:00 +0200}, 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} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.