Simplification Orders for Term Graph Rewriting

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings Mathematical Foundations of Computer Science (MFCS 1997)
Publisher	Springer
Pages	458-467
DOIs	https://doi.org/10.1007/BFb0029989
Publication status	Published - 1997

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	1295

Access to Document

@inproceedings{7b34f206195a4e888cb41e4996ed369e,

title = "Simplification Orders for Term Graph Rewriting",

author = "Detlef Plump",

year = "1997",

doi = "10.1007/BFb0029989",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "458--467",

booktitle = "Proceedings Mathematical Foundations of Computer Science (MFCS 1997)",

address = "Germany",

}