Application Patterns of Projection/Forgetting

Christoph WernhardChristoph Wernhard

Christoph Wernhard
Application Patterns of Projection/Forgetting
In Laura Kovacs and Georg Weissenbacher, eds., Workshop on Interpolation: From Proofs to Applications (iPRA 2014), 2014

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{W2014,
  author    = {Christoph Wernhard},
  title     = {Application Patterns of {Projection/Forgetting}},
  editor    = {Laura Kovacs and Georg Weissenbacher},
  booktitle = {Workshop on Interpolation: From Proofs to Applications (iPRA
               2014)},
  year      = {2014}
}