scientific article; zbMATH DE number 4124993

From MaRDI portal

Revision as of 13:40, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4205073

Jump to:navigation, search

zbMath0686.68019MaRDI QIDQ4205073

Stéphane Kaplan, Nachum Dershowitz, David Alan Plaisted

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic semantics rewrite systems conditional rewriting

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Thue and Post systems, etc. (03D03)

Related Items (7)

Infinite terms and infinite rewritings ⋮ Redex capturing in term graph rewriting (concise version) ⋮ Head boundedness of nonterminating rewritings ⋮ Rewrite, rewrite, rewrite, rewrite, rewrite, \dots ⋮ Conditional rewriting logic as a unified model of concurrency ⋮ Infinitary combinatory reduction systems ⋮ Descendants and origins in term rewriting.

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4205073&oldid=18056849"