Higher Order Dependency Pairs for Algebraic Functional Systems

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proc. 22th Conference on Rewriting Techniques and Applications
Editors	M. Schmidt-Schauß
Place of Publication	Dagstuhl
Publisher	Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Pages	203-218
ISBN (Print)	18688969
DOIs	https://doi.org/10.4230/LIPIcs.RTA.2011.203
Publication status	Published - 2011
Event	Rewriting Techniques and Applications - Dagstuhl Duration: 1 Jan 2011 → 1 Jan 2011

Conference	Rewriting Techniques and Applications
Period	1/01/11 → 1/01/11

Access to Document

@inproceedings{4cc1275c4f89445a99c1f8583fc9a981,

title = "Higher Order Dependency Pairs for Algebraic Functional Systems",

author = "C.L.M. Kop and {van Raamsdonk}, F.",

year = "2011",

doi = "10.4230/LIPIcs.RTA.2011.203",

language = "English",

isbn = "18688969",

pages = "203--218",

editor = "M. Schmidt-Schau{\ss}",

booktitle = "Proc. 22th Conference on Rewriting Techniques and Applications",

publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",

note = "Rewriting Techniques and Applications ; Conference date: 01-01-2011 Through 01-01-2011",

}

Higher Order Dependency Pairs for Algebraic Functional Systems. / Kop, C.L.M.; van Raamsdonk, F.
Proc. 22th Conference on Rewriting Techniques and Applications. ed. / M. Schmidt-Schauß. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011. p. 203-218.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Higher Order Dependency Pairs for Algebraic Functional Systems

AU - Kop, C.L.M.

AU - van Raamsdonk, F.

PY - 2011

Y1 - 2011

U2 - 10.4230/LIPIcs.RTA.2011.203

DO - 10.4230/LIPIcs.RTA.2011.203

M3 - Conference contribution

SN - 18688969

SP - 203

EP - 218

BT - Proc. 22th Conference on Rewriting Techniques and Applications

A2 - Schmidt-Schauß, M.

PB - Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

CY - Dagstuhl

T2 - Rewriting Techniques and Applications

Y2 - 1 January 2011 through 1 January 2011

ER -