scientific article; zbMATH DE number 549955

MaRDI QIDQ4287474zbMATH OpenFDO

Authors Hassan Aït-Kaci, Andreas Podelski

Publication date 12 April 1994

zbMATH Keywords

experimental programming languageorthogonal programming paradigmssymbolic computation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Symbolic computation and algebraic computation (68W30)

Recommendations

• Towards a meaning of life
• scientific article; zbMATH DE number 826298
• Logic programming, functional programming, and inductive definitions
• scientific article; zbMATH DE number 4072431

Cited in

(15)

• On subsumption and semiunification in feature algebras
• C-expressions: A variable-free calculus for equational logic programming
• Combining Horn rules and description logics in CARIN
• A feature constraint system for logic programming with entailment
• Constraint satisfaction with an object-oriented knowledge representation language
• Situated simplification
• A rational reconstruction of the domain of feature structures
• Life beyond set agreement
• Speeding up operations on feature terms using constraint programming and variable symmetry
• scientific article; zbMATH DE number 4123308 (Why is no real title available?)
• Similarity measures over refinement graphs
• Feature automata and recognizable sets of feature trees
• Equational and membership constraints for infinite trees
• Towards a meaning of life
• Fifty Years of Prolog and Beyond

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