Review of "Y. Toyama, How to prove equivalence of term rewriting systems without induction, Theor. Comp. Sci. 90 (1991) 369-390"

P.R.J. Asveld

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

18 Downloads (Pure)

Keywords

@article{9276f1b392304002bdaf4088b0d622f2,

title = "Review of {"}Y. Toyama, How to prove equivalence of term rewriting systems without induction, Theor. Comp. Sci. 90 (1991) 369-390{"}",

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

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

year = "1993",

language = "English",

volume = "MR1142324",

pages = "399--399",

journal = "Mathematical reviews",

issn = "0025-5629",

publisher = "American Mathematical Society",

}