Relative normalization in Deterministic Residual Structures
type: Item
instance of: scholarly article
title: Relative normalization in Deterministic Residual Structures
DOI: 10.1007/3-540-61064-2_37
author: John Glauert
author: Zurab Khasidashvili
published in: Trees in Algebra and Programming — CAAP '96
publication date: 2023-02-23T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 7656674
MaRDI profile type: MaRDI publication profile
full work available at URL: 3-540-61064-2 37
OpenAlex ID: W1565594167
cites work: Q4537513
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Needed reduction and spine strategies for the lambda calculus
cites work: Sequential evaluation strategies for parallel-or and related reduction systems
cites work: Q5287535
cites work: Q3202988
cites work: Optimal normalization in orthogonal term rewriting systems
cites work: Q3922646
cites work: Q4281481
cites work: Q4501166
cites work: Concurrent transition systems
Recommended article: Discrete normalization and standardization in deterministic residual structures
Recommended article: Stable results and relative normalization
Recommended article: An abstract Böhm-normalization
Recommended article: Optimal normalization in orthogonal term rewriting systems
Recommended article: An abstract concept of optimal implementation
description: scientific article; zbMATH DE number 7656674