Some characteristics of strong innermost normalization
type: Item
instance of: scholarly article
title: Some characteristics of strong innermost normalization
zbMATH Open document ID: 0944.68081
DOI: 10.1016/S0304-3975(99)00215-7
author: M. R. K. Krishna Rao
published in: Theoretical Computer Science
publication date: 2000-08-21T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 1493215
zbMATH Keywords: term rewriting system
MaRDI profile type: Publication
cites work: Proving innermost normalisation automatically
cites work: Q4385532
cites work: Q4846997
cites work: On proving termination by innermost termination
cites work: The integration of functions into logic programming: From theory to practice
cites work: Q4023900
cites work: Q4268467
cites work: Q4490728
cites work: Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems
cites work: Modular aspects of term graph rewriting
cites work: Q4202945
cites work: Completeness of combinations of constructor systems
cites work: On the modularity of termination of term rewriting systems
cites work: Counterexamples to termination for the direct sum of term rewriting systems
Recommended article: On strong normalities
Recommended article: Foundations of Software Science and Computation Structures
Recommended article: Strong normalization from an unusual point of view
Recommended article: On strong normality
Recommended article: Computer Science Logic
Recommended article: Strongly normalizing extensions
Recommended article: Q3791151
Recommended article: Short Proofs of Strong Normalization
Recommended article: Q3018853
Recommended article: On Strongly Normal Functions
description: scientific article; zbMATH DE number 1493215