Application Patterns of Projection/Forgetting

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

Toggle side column

Application Patterns of Projection/Forgetting

Christoph WernhardChristoph Wernhard
Application Patterns of Projection/Forgetting


Christoph Wernhard
Application Patterns of Projection/Forgetting
In Laura Kovacs and Georg Weissenbacher, eds., Workshop on Interpolation: From Proofs to Applications (iPRA 2014), 2014
@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}
}