scientific article; zbMATH DE number 194506
From MaRDI portal
Publication:4692463
zbMath0697.68005MaRDI QIDQ4692463
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99) Thue and Post systems, etc. (03D03)
Related Items (11)
Decidability of reachability for disjoint union of term rewriting systems ⋮ Implementing term rewriting by graph reduction: Termination of combined systems ⋮ On the modularity of termination of term rewriting systems ⋮ Modular proofs for completeness of hierarchical term rewriting systems ⋮ Modularity in term rewriting revisited ⋮ Abstract data type systems ⋮ Modular termination of \(r\)-consistent and left-linear term rewriting systems ⋮ Loop detection in term rewriting using the eliminating unfoldings ⋮ Termination is not modular for confluent variable-preserving term rewriting systems ⋮ Extension orderings ⋮ On modularity in infinitary term rewriting
This page was built for publication:
