Perpetuality and uniform normalization in orthogonal rewrite systems

DOI10.1006/INCO.2000.2888MaRDI QIDQ1854401zbMATH OpenOpenAlexFDO

Authors Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/5d6161c8ceb76b2e93153bc051c2b882de0ce017

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 1088031
• scientific article; zbMATH DE number 1722703
• On the longest perpetual reductions in orthogonal expression reduction systems
• On Normalisation of Infinitary Combinatory Reduction Systems
• Transfinite reductions in orthogonal term rewriting systems

Cites work

• scientific article; zbMATH DE number 2185719 (Why is no real title available?)
• scientific article; zbMATH DE number 2185727 (Why is no real title available?)
• scientific article; zbMATH DE number 4179330 (Why is no real title available?)
• scientific article; zbMATH DE number 3827823 (Why is no real title available?)
• scientific article; zbMATH DE number 3933030 (Why is no real title available?)
• scientific article; zbMATH DE number 4045709 (Why is no real title available?)
• scientific article; zbMATH DE number 4092756 (Why is no real title available?)
• scientific article; zbMATH DE number 4092758 (Why is no real title available?)
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• scientific article; zbMATH DE number 1231495 (Why is no real title available?)
• scientific article; zbMATH DE number 1310564 (Why is no real title available?)
• scientific article; zbMATH DE number 1333599 (Why is no real title available?)
• scientific article; zbMATH DE number 512779 (Why is no real title available?)
• scientific article; zbMATH DE number 512788 (Why is no real title available?)
• scientific article; zbMATH DE number 512797 (Why is no real title available?)
• scientific article; zbMATH DE number 599028 (Why is no real title available?)
• scientific article; zbMATH DE number 1088031 (Why is no real title available?)
• scientific article; zbMATH DE number 1499097 (Why is no real title available?)
• scientific article; zbMATH DE number 1499112 (Why is no real title available?)
• scientific article; zbMATH DE number 1523050 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 1414305 (Why is no real title available?)
• scientific article; zbMATH DE number 1456960 (Why is no real title available?)
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Combinatory reduction systems: Introduction and survey
• Computing in systems described by equations
• Conditional rewrite rules: Confluence and termination
• Conservation and uniform normalization in lambda calculi with erasing reductions
• Effective longest and infinite reduction paths in untyped λ-calculi
• Finite family developments
• Functions as processes
• Higher-order families
• Higher-order narrowing with definitional trees
• Higher-order rewrite systems and their confluence
• On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
• On the longest perpetual reductions in orthogonal expression reduction systems
• Optimal normalization in orthogonal term rewriting systems
• Perpetual reductions in -calculus
• Polynomial time termination and constraint satisfaction tests
• Semantical analysis of perpetual strategies in -calculus
• Strong normalization from weak normalization in typed \(\lambda\)-calculi
• The Clausal Theory of Types
• The Mechanical Evaluation of Expressions
• The ant-lion paradigm for strong normalization
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(5)

• Conservation and uniform normalization in lambda calculi with erasing reductions
• scientific article; zbMATH DE number 1722703 (Why is no real title available?)
• On the longest perpetual reductions in orthogonal expression reduction systems
• Uniform rewriting based on permutations
• Encoding the factorisation calculus

Describes a project that uses

Uses Software

• Automath

This page was built for publication: Perpetuality and uniform normalization in orthogonal rewrite systems

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