Computing with Logic as Operator Elimination: The ToyElim System

From International Center for Computational Logic

Toggle side column

Computing with Logic as Operator Elimination: The ToyElim System

Christoph WernhardChristoph Wernhard
Computing with Logic as Operator Elimination: The ToyElim System


Christoph Wernhard
Computing with Logic as Operator Elimination: The ToyElim System
In Hans Tompits and Salvador Abreu and Johannes Oetsch and Jörg Pührer and Dietmar Seipel and Masanobu Umeda and Armin Wolf, eds., Applications of Declarative Programming and Knowledge Management, 19th International Conference (INAP 2011) and 25th Workshop on Logic Programming(WLP 2011), Revised Selected Papers, volume 7773 of LNCS (LNAI), 289-296, 2013. Springer
The final publication is available at Springer.
@inproceedings{W2013,
  author    = {Christoph Wernhard},
  title     = {Computing with Logic as Operator Elimination: The {ToyElim}
               System},
  editor    = {Hans Tompits and Salvador Abreu and Johannes Oetsch and
               J{\"{o}}rg P{\"{u}}hrer and Dietmar Seipel and Masanobu Umeda and
               Armin Wolf},
  booktitle = {Applications of Declarative Programming and Knowledge Management,
               19th International Conference (INAP 2011) and 25th Workshop on
               Logic {Programming(WLP} 2011), Revised Selected Papers},
  series    = {LNCS (LNAI)},
  volume    = {7773},
  publisher = {Springer},
  year      = {2013},
  pages     = {289-296}
}