scientific article
From MaRDI portal
Publication:3336681
zbMath0546.68020MaRDI QIDQ3336681
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Theory of software (68N99) Thue and Post systems, etc. (03D03) Software, source code, etc. for problems pertaining to computer science (68-04)
Related Items
An overview of LP, the Larch Prover, Extensions and comparison of simplification orderings, Termination of rewriting, Path of subterms ordering and recursive decomposition ordering revisited, An improved general path order, On the recursive decomposition ordering with lexicographical status and other related orderings, Two applications of analytic functors, Proving termination of (conditional) rewrite systems. A semantic approach
Uses Software
