Review of "J. Waldmann, Weighted automata for proving termination of string rewriting, J. Autom. Lang. Comb. 12 (2007) 545-570"

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

1 Downloads (Pure)

Keywords

@article{aecc2e88f31343f7abf3e9872b02358b,

title = "Review of {"}J. Waldmann, Weighted automata for proving termination of string rewriting, J. Autom. Lang. Comb. 12 (2007) 545-570{"}",

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

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

year = "2009",

month = may,

language = "English",

volume = "MR2401479",

pages = "4953--4953",

journal = "Mathematical reviews",

issn = "0025-5629",

publisher = "American Mathematical Society",

}

TY - JOUR

T1 - Review of "J. Waldmann, Weighted automata for proving termination of string rewriting, J. Autom. Lang. Comb. 12 (2007) 545-570"

AU - Asveld, P.R.J.

PY - 2009/5

Y1 - 2009/5

KW - HMI-SLT: Speech and Language Technology

M3 - Book/Film/Article review

SN - 0025-5629

VL - MR2401479

SP - 4953

EP - 4953

JO - Mathematical reviews

JF - Mathematical reviews

ER -