Conditional complexity

DOI10.4230/LIPICS.RTA.2015.223MaRDI QIDQ5277881zbMATH OpenFDO

Authors Cynthia Kop, Aart Middeldorp, Thomas Sternagel

Publication date 12 July 2017

Full work available at URL https://doi.org/10.4230/LIPICS.RTA.2015.223

zbMATH Keywords

complexityconditional term rewriting

Mathematics Subject Classification ID

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

Recommendations

• Complexity of conditional term rewriting
• Logicality of conditional rewrite systems
• Recent Trends in Algebraic Development Techniques
• Conditional rewrite rules
• Computationally Equivalent Elimination of Conditions

Cited in

(2)

• Timed term rewrite systems
• Complexity of conditional term rewriting

This page was built for publication: Conditional complexity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5277881)