The PIE system for Proving, Interpolating and Eliminating

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

The PIE system for Proving, Interpolating and Eliminating

Christoph WernhardChristoph Wernhard
The PIE system for Proving, Interpolating and Eliminating


Christoph Wernhard
The PIE system for Proving, Interpolating and Eliminating
In Pascal Fontaine, Stephan Schulz, Josef Urban, eds., 5th Workshop on Practical Aspects of Automated Reasoning (PAAR), volume 1635 of CEUR Workshop Proceedings, 125-138, 2016
@inproceedings{W2016,
  author    = {Christoph Wernhard},
  title     = {The {PIE} system for Proving, Interpolating and Eliminating},
  editor    = {Pascal Fontaine and Stephan Schulz and Josef Urban},
  booktitle = {5th Workshop on Practical Aspects of Automated Reasoning (PAAR)},
  series    = {CEUR Workshop Proceedings},
  volume    = {1635},
  year      = {2016},
  pages     = {125-138}
}