VSL 2014: VIENNA SUMMER OF LOGIC 2014

Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs

Authors: Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes and Carsten Fuhs

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs
Authors:Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes and Carsten Fuhs
Proceedings:CICLOPS-WLPE 2014 Papers
Editors: Thomas Stroeder and Terrance Swift
Keywords:
Abstract:
Pages:1
Talk:Jul 18 14:30
Paper:
Disclaimer | Powered by EasyChair Smart Program