Multi-dimensional interpretations for termination of term rewriting
type: Item
instance of: scholarly article
title: Multi-dimensional interpretations for termination of term rewriting
DOI: 10.1007/978-3-030-79876-5_16
author: Akihisa Yamada
publication date: 2021-12-01T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7437084
describes a project that uses: z3
describes a project that uses: NaTT
describes a project that uses: CoLoR
describes a project that uses: Tyrolean
describes a project that uses: StarExec
describes a project that uses: MU-TERM
describes a project that uses: CeTA
MaRDI profile type: Publication
full work available at URL: 978-3-030-79876-5 16
OpenAlex ID: W3177571835
cites work: Termination of term rewriting using dependency pairs
cites work: Term Rewriting and All That
cites work: Satisfiability Modulo Theories
cites work: CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates
cites work: Q5389068
cites work: Improved Matrix Interpretation
cites work: Matrix interpretations for proving termination of term rewriting
cites work: Maximal Termination
cites work: Proving Termination of Programs Automatically with AProVE
cites work: Logic for Programming, Artificial Intelligence, and Reasoning
cites work: Mechanizing and improving dependency pairs
cites work: Rewriting Techniques and Applications
cites work: Artificial Intelligence and Symbolic Computation
cites work: Termination of String Rewriting with Matrix Interpretations
cites work: Dynamic dependency pairs for algebraic functional systems
cites work: Q3077191
cites work: Q4494366
cites work: Automatic synthesis of logical models for order-sorted first-order theories
cites work: Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs
cites work: Certification of Termination Proofs Using CeTA
cites work: Nagoya Termination Tool
cites work: Termination of term rewriting: Interpretation and type elimination
cites work: The termination hierarchy for term rewriting
description: scientific article; zbMATH DE number 7437084