Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux

Christoph WernhardChristoph Wernhard

Christoph Wernhard
Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux
Technical Report, TU Dresden, volume 18-01, 2018. Knowledge Representation and Reasoning

Details
Bibtex

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

@techreport{W2018,
  author      = {Christoph Wernhard},
  title       = {Craig Interpolation and Access Interpolation with Clausal
                 First-Order Tableaux},
  institution = {TU Dresden},
  year        = {2018}
}