Symbolic Evaluation Graphs and Term Rewriting: A General Methodology for Analyzing Logic Programs (2012)

First Author: Giesl, J
Attributed to:  Resource Reasoning funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: Proceedings of the 14th International Symposium on Principles and Practice of Declarative Programming (PPDP '12)