scientific article; zbMATH DE number 517007

MaRDI QIDQ4282530zbMATH OpenFDO

Authors Ralf Socher

Publication date 17 April 1994

zbMATH Keywords

decidabilityorder sorted logicsort intersection problemterm declarationsundecidabilityunification in linear signatures

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic in artificial intelligence (68T27)

Recommendations

• Completeness and confluence of order-sorted term rewriting
• Computational aspects of an order-sorted logic with term declarations
• Order-sorted unification
• scientific article; zbMATH DE number 3997190
• Unification in sort theories and its applications

Cited in

(8)

• Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
• Computational aspects of an order-sorted logic with term declarations
• Order-sorted feature theory unification
• scientific article; zbMATH DE number 1761419 (Why is no real title available?)
• scientific article; zbMATH DE number 1795986 (Why is no real title available?)
• Pumping, cleaning and symbolic constraints solving
• scientific article; zbMATH DE number 3997190 (Why is no real title available?)
• Completeness and confluence of order-sorted term rewriting

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 Q4282530)