Dynamic Dependency Pairs for Algebraic Functional Systems

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

69 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",

}