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

John Patrick Gallagher; Mads Rosendahl

doi:10.1007/978-3-540-89439-1

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

Programming, Logic and Intelligent Systems

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
Editors	Iliano Cervesato, Helmut Veith, Andrei Voronkov
Number of pages	15
Volume	5330
Publisher	Springer
Publication date	2008
Pages	682-696
ISBN (Print)	978-3-540-89438-4
DOIs	https://doi.org/10.1007/978-3-540-89439-1
Publication status	Published - 2008
Event	15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08) - Doha, Qatar Duration: 25 Nov 2008 → 29 Nov 2008 Conference number: 15

Conference

Conference	15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)
Number	15
Country/Territory	Qatar
City	Doha
Period	25/11/2008 → 29/11/2008

Series	Lecture Notes in Computer Science
Volume	5330
ISSN	0302-9743

Keywords

static analysis
term rewriting

Link to document

10.1007/978-3-540-89439-1

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. 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",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "682--696",

editor = "Iliano Cervesato and Helmut Veith and Andrei Voronkov",

booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning",

note = "15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08) ; Conference date: 25-11-2008 Through 29-11-2008",

}

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, 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08), 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 proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Approximating Term Rewriting Systems

T2 - 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)

AU - Gallagher, John Patrick

AU - Rosendahl, Mads

N1 - Conference code: 15

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

T3 - Lecture Notes in Computer Science

SP - 682

EP - 696

BT - Logic for Programming, Artificial Intelligence, and Reasoning

A2 - Cervesato, Iliano

A2 - Veith, Helmut

A2 - Voronkov, Andrei

PB - Springer

Y2 - 25 November 2008 through 29 November 2008

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). doi: 10.1007/978-3-540-89439-1