default search action

combined dblp search
author search
venue search
publication search

ask others

11th UITP@VSL 2014: Vienna, Austria

> Home > Conferences and Workshops > UITP
> Home > Conferences and Workshops > VSL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/BenzmullerP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BenzmullerP14
Christoph Benzmüller, Bruno Woltzenlogel Paleo:
Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 17th July 2014. EPTCS 167, 2014
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BeckertGB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BeckertGB14
Bernhard Beckert, Sarah Grebing, Florian Böhl:
How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers. 4-13
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Butterfield14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Butterfield14
Andrew Butterfield:
UTP2: Higher-Order Equational Reasoning by Pointing. 14-22
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GrovKL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GrovKL14
Gudmund Grov, Aleks Kissinger, Yuhui Lin:
Tinker, tailor, solver, proof. 23-34
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LibalRR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LibalRR14
Tomer Libal, Martin Riener, Mikheil Rukhaia:
Advanced Proof Viewing in ProofTool. 35-47
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Rabe14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Rabe14
Florian Rabe:
A Logic-Independent IDE. 48-60
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SternagelT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SternagelT14
Christian Sternagel, René Thiemann:
The Certification Problem Format. 61-72
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Tankink14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Tankink14
Carst Tankink:
PIDE for Asynchronous Interaction with Coq. 73-83
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Wenzel14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Wenzel14
Makarius Wenzel:
System description: Isabelle/jEdit in 2014. 84-94

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.