scientific article; zbMATH DE number 3999263
From MaRDI portal
Publication:4725721
zbMath0616.68016MaRDI QIDQ4725721
David E. Rydeheard, Rod M. Burstall
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
program designcategory theoryabstractionrecursive procedurescolimitconstructivitysymbolic expressions
Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60) Special categories (18B99) General topics in the theory of software (68N01)
Related Items
Unique-sort order-sorted theories : A description as monad morphisms, Unification, weak unification, upper bound, lower bound, and generalization problems, An efficient labelled nested multiset unification algorithm, Determinisation of relational substitutions in ordered categories with domain, Declarative Compilation for Constraint Logic Programming, Determinisation of Relational Substitutions in Ordered Categories with Domain, A new framework for declarative programming, Adding fuzziness to terms and powerobjects using a monadic approach, Powersets of terms and composite monads, Contraction algebras and unification of (infinite) terms, Constraint logic programming with a relational machine, Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming, An algebraic semantics for structured transition systems and its application to logic programs, A graphical approach to monad compositions, Partially Ordered Monads and Rough Sets, Unification in commutative theories, Unnamed Item, Categorical Innovations for Rough Sets, Partially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras, Similarities between powersets of terms, On the algebraic structure of declarative programming languages, Unnamed Item, A categorical approach to unification of generalised terms1 1This work has been developed as a cooperation organised within COST 274., Set functors, \(L\)-fuzzy set categories, and generalized terms.
