scientific article
From MaRDI portal
Publication:3208066
zbMath0417.68012MaRDI QIDQ3208066
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Church-Rosser systemsequational specificationsalgebraic data typescomputable algebrasalgebraic replacement systems
Data structures (68P05) Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45)
Related Items (9)
Recursive unary algebras and trees ⋮ Restrictions of congruences generated by finite canonical string-rewriting systems ⋮ Algebraic specifications of computable and semicomputable data types ⋮ Complexity of algebraic implementations for abstract data types ⋮ Algebraic implementation of abstract data types ⋮ Partial abstract types ⋮ Final algebras, cosemicomputable algebras and degrees of unsolvability ⋮ Implementation of data types by algebraic methods ⋮ A constructive method for abstract algebraic software specification
This page was built for publication:
