scientific article

zbMath0708.68016MaRDI QIDQ3490936

Gert Smolka

Publication date: 1989

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

zbMATH Keywords

logic programmingorder-sorted data types

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Logic programming (68N17)

Related Items

A resolution principle for constrained logics, Unification in sort theories and its applications, On the verification of security-aware E-services, A rewrite-based type discipline for a subset of computer algebra, Dynamically-typed computations for order-sorted equational presentations, Operational semantics for declarative multi-paradigm languages, Redundancy criteria for constrained completion, An order-sorted logic for knowledge representation systems, Completion of rewrite systems with membership constraints, Specification and correctness proof of a WAM extension with abstract type constraints, Refinement of a typed WAM extension by polymorphic order-sorted types