Approximating Term Rewriting Systems

A Horn Clause Specification and Its Implementation

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
TitelLogic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
RedaktørerIliano Cervesato, Helmut Veith, Andrei Voronkov
Antal sider15
Vol/bind5330
ForlagSpringer
Publikationsdato2008
Sider682-696
ISBN (Trykt)978-3-540-89438-4
DOI
StatusUdgivet - 2008
Begivenhed15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08) - Doha, Qatar
Varighed: 25 nov. 200829 nov. 2008
Konferencens nummer: 15

Konference

Konference15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)
Nummer15
LandQatar
ByDoha
Periode25/11/200829/11/2008
NavnLecture Notes in Computer Science
Vol/bind5330
ISSN0302-9743

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. Lecture Notes in Computer Science, Bind. 5330 https://doi.org/10.1007/978-3-540-89439-1