Application Patterns of Projection/Forgetting

From International Center for Computational Logic
Toggle side column

Application Patterns of Projection/Forgetting

Christoph WernhardChristoph Wernhard
Application Patterns of Projection/Forgetting


Christoph Wernhard
Application Patterns of Projection/Forgetting
Vienna, Austria, Workshop on Interpolation: From Proofs to Applications (iPRA 2014), July 2014
@misc{W2014,
  author = {Christoph Wernhard},
  title  = {Application Patterns of {Projection/Forgetting}},
  year   = {2014},
  month  = {July}
}