Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux

From International Center for Computational Logic
Toggle side column

Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux

Christoph WernhardChristoph Wernhard
Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux


Christoph Wernhard
Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux
Poster presentation at TABLEAUX 2017, Brasilia, September 2017
@misc{W2017,
  author = {Christoph Wernhard},
  title  = {Craig Interpolation and Query Reformulation with Clausal First-Order
            Tableaux},
  year   = {2017},
  month  = {September}
}