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

Gallagher, J. P., & Rosendahl, M. (2008). Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation. In I. Cervesato, H. Veith, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings (Vol. 5330, pp. 682-696). Springer. Lecture Notes in Computer Science, Vol.. 5330 https://doi.org/10.1007/978-3-540-89439-1
Gallagher, John Patrick ; Rosendahl, Mads. / Approximating Term Rewriting Systems : A Horn Clause Specification and Its Implementation. Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. editor / Iliano Cervesato ; Helmut Veith ; Andrei Voronkov. Vol. 5330 Springer, 2008. pp. 682-696 (Lecture Notes in Computer Science, Vol. 5330).
@inproceedings{17cf8ac0b4e911ddbe39000ea68e967b,
title = "Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation",
keywords = "static analysis, term rewriting",
author = "Gallagher, {John Patrick} and Mads Rosendahl",
year = "2008",
doi = "10.1007/978-3-540-89439-1",
language = "English",
isbn = "978-3-540-89438-4",
volume = "5330",
pages = "682--696",
editor = "Iliano Cervesato and Helmut Veith and Andrei Voronkov",
booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning",
publisher = "Springer",

}

Gallagher, JP & Rosendahl, M 2008, Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation. in I Cervesato, H Veith & A Voronkov (eds), Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. vol. 5330, Springer, Lecture Notes in Computer Science, vol. 5330, pp. 682-696, Doha, Qatar, 25/11/2008. https://doi.org/10.1007/978-3-540-89439-1

Approximating Term Rewriting Systems : A Horn Clause Specification and Its Implementation. / Gallagher, John Patrick; Rosendahl, Mads.

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. ed. / Iliano Cervesato; Helmut Veith; Andrei Voronkov. Vol. 5330 Springer, 2008. p. 682-696 (Lecture Notes in Computer Science, Vol. 5330).

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

TY - GEN

T1 - Approximating Term Rewriting Systems

T2 - A Horn Clause Specification and Its Implementation

AU - Gallagher, John Patrick

AU - Rosendahl, Mads

PY - 2008

Y1 - 2008

KW - static analysis

KW - term rewriting

U2 - 10.1007/978-3-540-89439-1

DO - 10.1007/978-3-540-89439-1

M3 - Article in proceedings

SN - 978-3-540-89438-4

VL - 5330

SP - 682

EP - 696

BT - Logic for Programming, Artificial Intelligence, and Reasoning

A2 - Cervesato, Iliano

A2 - Veith, Helmut

A2 - Voronkov, Andrei

PB - Springer

ER -

Gallagher JP, Rosendahl M. Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation. In Cervesato I, Veith H, Voronkov A, editors, Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Vol. 5330. Springer. 2008. p. 682-696. (Lecture Notes in Computer Science, Vol. 5330). https://doi.org/10.1007/978-3-540-89439-1