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

Programmering, logik og intelligente systemer

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
Redaktører	Iliano Cervesato, Helmut Veith, Andrei Voronkov
Antal sider	15
Vol/bind	5330
Forlag	Springer
Publikationsdato	2008
Sider	682-696
ISBN (Trykt)	978-3-540-89438-4
DOI	https://doi.org/10.1007/978-3-540-89439-1
Status	Udgivet - 2008
Begivenhed	15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08) - Doha, Qatar Varighed: 25 nov. 2008 → 29 nov. 2008 Konferencens nummer: 15

Konference

Konference	15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)
Nummer	15
Land/Område	Qatar
By	Doha
Periode	25/11/2008 → 29/11/2008

Navn	Lecture Notes in Computer Science
Vol/bind	5330
ISSN	0302-9743

Link til dokument

10.1007/978-3-540-89439-1

Citer dette

Gallagher, J. P., & Rosendahl, M. (2008). Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation. I I. Cervesato, H. Veith, & A. Voronkov (red.), Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings (Bind 5330, s. 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. red. / Iliano Cervesato ; Helmut Veith ; Andrei Voronkov. Bind 5330 Springer, 2008. s. 682-696 (Lecture Notes in Computer Science, Bind 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. i I Cervesato, H Veith & A Voronkov (red), Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. bind 5330, Springer, Lecture Notes in Computer Science, bind 5330, s. 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. red. / Iliano Cervesato; Helmut Veith; Andrei Voronkov. Bind 5330 Springer, 2008. s. 682-696 (Lecture Notes in Computer Science, Bind 5330).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › 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. I Cervesato I, Veith H, Voronkov A, red., Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Bind 5330. Springer. 2008. s. 682-696. (Lecture Notes in Computer Science, Bind 5330). doi: 10.1007/978-3-540-89439-1