scientific article; zbMATH DE number 23844

MaRDI QIDQ3982097zbMATH OpenFDO

Authors Doina Tatar

Publication date 26 June 1992

zbMATH Keywords

program schemata

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(10)

• n-level rewriting systems
• Polymorphic rewriting conserves algebraic strong normalization
• Normalization results for typeable rewrite systems
• Non-linear rewrite closure and weak normalization
• On the Normalization and Unique Normalization Properties of Term Rewrite Systems
• Trace rewriting: Computing normal forms in time O(n log n)
• scientific article; zbMATH DE number 6109844 (Why is no real title available?)
• scientific article; zbMATH DE number 794242 (Why is no real title available?)
• (Head-)normalization of typeable rewrite systems
• Normalization properties for shallow TRS and innermost rewriting

This page was built for publication:

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