Call-by-need reduction for membership conditional term rewriting systems

zbMATH Open1270.68136MaRDI QIDQ2844071FDOQ2844071

Authors: Mizuhito Ogawa 

Publication date: 27 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105826179

Recommendations

• scientific article; zbMATH DE number 4092756
• Confluence of terminating membership conditional TRS
• Decidable call-by-need computations in term rewriting
• NV-Sequentiality: A Decidable Condition for Call-by-Need Computations in Term-Rewriting Systems
• Decidable call by need computations in term rewriting (extended abstract)

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Cited In (3)

• Decidable call-by-need computations in term rewriting
• Confluence of terminating membership conditional TRS
• Title not available (Why is that?)

This page was built for publication: Call-by-need reduction for membership conditional term rewriting systems

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