scientific article; zbMATH DE number 1348481

From MaRDI portal

Revision as of 17:16, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4264735

Jump to:navigation, search

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 (9)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4264735&oldid=18169961"