scientific article; zbMATH DE number 1348481

zbMath0925.68266MaRDI QIDQ4264735

Adam Cichon, Pierre Lescanne

Publication date: 10 October 1999

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Grammars and rewriting systems (68Q42)

Related Items

Polynomials over the reals in proofs of termination : from theory to practice, Analyzing Innermost Runtime Complexity Through Tuple Interpretations, Theorem proving with group presentations: Examples and questions, Unnamed Item, On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting, Applications and extensions of context-sensitive rewriting, Derivational complexity and context-sensitive Rewriting, Real or natural number interpretation and their effect on complexity, Intensional Properties of Polygraphs