default search action

combined dblp search
author search
venue search
publication search

ask others

4th PxTP@CADE 2015: Berlin, Germany

> Home > Conferences and Workshops > PxTP
> Home > Conferences and Workshops > CADE

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/KaliszykP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KaliszykP15
Cezary Kaliszyk, Andrei Paskevich:
Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015. EPTCS 186, 2015
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Reis15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Reis15
Giselle Reis:
Importing SMT and Connection proofs as expansion trees. 3-10
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HeathM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HeathM15
Quentin Heath, Dale Miller:
A framework for proof certificates in finite state exploration. 11-26
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BenzmullerCS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BenzmullerCS15
Christoph Benzmüller, Maximilian Claus, Nik Sultana:
Systematic Verification of the Modal Logic Cube in Isabelle/HOL. 27-41
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Adams15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Adams15a
Mark Adams:
The Common HOL Platform. 42-56
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CauderlierH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CauderlierH15
Raphaël Cauderlier, Pierre Halmagrand:
Checking Zenon Modulo Proofs in Dedukti. 57-73
- view
  authority control:
- export record
  dblp key:
  - journals/corr/0002B15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/0002B15
Ali Assaf, Guillaume Burel:
Translating HOL to Dedukti. 74-88
- view
  authority control:
- export record
  dblp key:
  - journals/corr/0002C15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/0002C15
Ali Assaf, Raphaël Cauderlier:
Mixing HOL and Coq in Dedukti (Extended Abstract). 89-96

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.