A Higher-Order Iterative Path Ordering

C.L.M. Kop

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

A Higher-Order Iterative Path Ordering

C.L.M. Kop

Research output: Contribution to Journal › Article › Academic › peer-review

237 Downloads (Pure)

Original language	English
Pages (from-to)	697-711
Journal	Lecture Notes in Computer Science
Volume	5330
DOIs	https://doi.org/10.1007/978-3-540-89439-1_48
Publication status	Published - 2008

Bibliographical note

lpar2008
Proceedings title: Proceedings of LPAR 2008 (15th international conference on logic for programming, artificial intelligence and reasoning). Doha, Qatar.
Publisher: Springer
Editors: I. Cervesato, H. Veith, A. Voronkov

Access to Document

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

219615Final published version, 452 KB

Persistent URL (handle)

Persistent link

Cite this

@article{f6510627442841ff8ade35a82a8328e6,

title = "A Higher-Order Iterative Path Ordering",

author = "C.L.M. Kop",

note = "lpar2008 Proceedings title: Proceedings of LPAR 2008 (15th international conference on logic for programming, artificial intelligence and reasoning). Doha, Qatar. Publisher: Springer Editors: I. Cervesato, H. Veith, A. Voronkov",

year = "2008",

doi = "10.1007/978-3-540-89439-1_48",

language = "English",

volume = "5330",

pages = "697--711",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - JOUR

T1 - A Higher-Order Iterative Path Ordering

AU - Kop, C.L.M.

N1 - lpar2008 Proceedings title: Proceedings of LPAR 2008 (15th international conference on logic for programming, artificial intelligence and reasoning). Doha, Qatar. Publisher: Springer Editors: I. Cervesato, H. Veith, A. Voronkov

PY - 2008

Y1 - 2008

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

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

M3 - Article

SN - 0302-9743

VL - 5330

SP - 697

EP - 711

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -