Computing with Logic as Operator Elimination: The ToyElim System

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-41524-1_17 ◽

2013 ◽

pp. 289-296 ◽

Cited By ~ 2

Author(s):

Christoph Wernhard

Download Full-text