scientific article; zbMATH DE number 23844
From MaRDI portal
Publication:3982097
zbMATH Open0735.68048MaRDI QIDQ3982097
Publication date: 26 June 1992
Title of this publication is not available (Why is that?)
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (10)
n-level rewriting systems ⋮ (Head-)normalization of typeable rewrite systems ⋮ Normalization results for typeable rewrite systems ⋮ Trace rewriting: Computing normal forms in time O(n log n) ⋮ Polymorphic rewriting conserves algebraic strong normalization ⋮ Normalization properties for shallow TRS and innermost rewriting ⋮ On the Normalization and Unique Normalization Properties of Term Rewrite Systems ⋮ Title not available (Why is that?) ⋮ Non-linear rewrite closure and weak normalization ⋮ Title not available (Why is that?)
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)
