Algebraic semantics and complexity of term rewriting systems

DOI10.1007/3-540-51081-8_116zbMATH Open1503.68142OpenAlexW1883143037MaRDI QIDQ5055729FDOQ5055729

Yasuyoshi Inagaki, Tohru Naoi

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-51081-8_116

Recommendations

• scientific article; zbMATH DE number 3988695
• Publication:2778880
• scientific article
• Term rewriting in \(\mathrm{CT}_\Sigma \)
• Compositional term rewriting: An algebraic proof of Toyama's theorem

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Grammars and rewriting systems (68Q42) Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Cites Work

• An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
• Title not available (Why is that?)
• Initial Algebra Semantics and Continuous Algebras
• Data Types as Lattices
• Fundamental properties of infinite trees
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• Computing in systems described by equations
• Infinite trees in normal form and recursive equations having a unique solution
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Data Types
• Algebraic semantics and complexity of term rewriting systems
• Operational and Semantic Equivalence Between Recursive Programs
• Title not available (Why is that?)
• On the descriptive power of term rewriting systems
• Title not available (Why is that?)

Cited In (12)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On sufficient-completeness and related properties of term rewriting systems
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Complexity analysis of term-rewriting systems
• Title not available (Why is that?)
• Algebraic semantics of rewriting terms and types
• Algebraic semantics and complexity of term rewriting systems
• Clocked lambda calculus
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Algebraic semantics and complexity of term rewriting systems

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