Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationLogic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
EditorsIliano Cervesato, Helmut Veith, Andrei Voronkov
Number of pages15
Volume5330
PublisherSpringer
Publication date2008
Pages682-696
ISBN (Print)978-3-540-89438-4
DOIs
Publication statusPublished - 2008
Event15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08) - Doha, Qatar
Duration: 25 Nov 200829 Nov 2008
Conference number: 15

Conference

Conference15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)
Number15
CountryQatar
CityDoha
Period25/11/200829/11/2008
SeriesLecture Notes in Computer Science
Volume5330
ISSN0302-9743

Keywords

  • static analysis
  • term rewriting

Cite this