Dynamic Dependency Pairs for Algebraic Functional Systems

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

95 Downloads (Pure)

Original language	English
Journal	Logical Methods in Computer Science
DOIs	https://doi.org/10.2168/LMCS-8(2:10)2012
Publication status	Accepted/In press - 2012

Access to Document

@article{67e91eb6d6fb431c9c36d4d62c880d61,

title = "Dynamic Dependency Pairs for Algebraic Functional Systems",

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

year = "2012",

doi = "10.2168/LMCS-8(2:10)2012",

language = "English",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "Technischen Universitat Braunschweig",

}

TY - JOUR

T1 - Dynamic Dependency Pairs for Algebraic Functional Systems

AU - Kop, C.L.M.

AU - van Raamsdonk, F.

PY - 2012

Y1 - 2012

UR - https://www.scopus.com/pages/publications/84868603702

UR - https://www.scopus.com/inward/citedby.url?scp=84868603702&partnerID=8YFLogxK

U2 - 10.2168/LMCS-8(2:10)2012

DO - 10.2168/LMCS-8(2:10)2012

M3 - Article

SN - 1860-5974

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

ER -