The PIE system for Proving, Interpolating and Eliminating

Christoph WernhardChristoph Wernhard

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

Details
Bibtex

Weitere Informationen unter:Further Information: Link
Projekt:Project: SOA-VBQP
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@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}
}