Review of "S. Kahrs, Confluence of curried term-rewriting systems, J. Symbolic Comput. 19 (1995) 601-623"

Research output: Contribution to journal › Book/Film/Article review › Academic

6 Downloads (Pure)

Keywords

@article{7ce0255dc2634b13a99c176fecc47d74,

title = "Review of {"}S. Kahrs, Confluence of curried term-rewriting systems, J. Symbolic Comput. 19 (1995) 601-623{"}",

keywords = "HMI-SLT: Speech and Language Technology",

author = "P.R.J. Asveld",

year = "1997",

language = "English",

volume = "MR1370625",

pages = "568--568",

journal = "Mathematical reviews",

issn = "0025-5629",

publisher = "American Mathematical Society",

}