scientific article; zbMATH DE number 4164128

MaRDI QIDQ3490936zbMATH OpenFDO

Authors Gert Smolka

Publication date 1989

zbMATH Keywords

logic programmingorder-sorted data types

Mathematics Subject Classification ID

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

Cited in

(16)

• An order-sorted logic for knowledge representation systems
• Completion of rewrite systems with membership constraints
• On the verification of security-aware E-services
• Operational semantics for declarative multi-paradigm languages
• scientific article; zbMATH DE number 1890623 (Why is no real title available?)
• Combinatory logic with polymorphic types
• Specification and correctness proof of a WAM extension with abstract type constraints
• Refinement of a typed WAM extension by polymorphic order-sorted types
• Unification in sort theories and its applications
• Order-sorted inductive types
• scientific article; zbMATH DE number 67965 (Why is no real title available?)
• Dynamically-typed computations for order-sorted equational presentations
• A resolution principle for constrained logics
• A rewrite-based type discipline for a subset of computer algebra
• scientific article; zbMATH DE number 7680806 (Why is no real title available?)
• Redundancy criteria for constrained completion

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3490936)