scientific article; zbMATH DE number 2090080

zbMath1045.68074MaRDI QIDQ4808754

Salvador Lucas

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2378/23780296.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

terminationterm rewriting(infinitary) normalization

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Mechanically proving termination using polynomial interpretations, Polynomials over the reals in proofs of termination : from theory to practice, Unnamed Item, Derivational complexity and context-sensitive Rewriting, Lazy Rewriting and Context-Sensitive Rewriting, On-demand strategy annotations revisited: an improved on-demand evaluation strategy, Context-sensitive rewriting strategies