scientific article; zbMATH DE number 4164128

zbMATH Open0708.68016MaRDI QIDQ3490936FDOQ3490936

Authors: Gert Smolka 

Publication date: 1989

Title of this publication is not available (Why is that?)

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
• Operational semantics for declarative multi-paradigm languages
• On the verification of security-aware E-services
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Order-sorted inductive types
• 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
• Title not available (Why is that?)
• 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)