scientific article; zbMATH DE number 970739

MaRDI QIDQ5688930zbMATH OpenFDO

Authors Hassan Aït-Kaci, Andreas Podelski, Gert Smolka

Publication date 25 May 1997

zbMATH Keywords

constraint system for logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A feature constraint system for logic programming with entailment
• Records for logic programming
• Ordering constraints over feature trees
• scientific article; zbMATH DE number 1189066

Cited in

(10)

• A feature constraint system for logic programming with entailment
• Ordering constraints over feature trees expressed in second-order monadic logic.
• Ordering constraints over feature trees
• scientific article; zbMATH DE number 1189066 (Why is no real title available?)
• scientific article; zbMATH DE number 1223554 (Why is no real title available?)
• scientific article; zbMATH DE number 516982 (Why is no real title available?)
• Records for logic programming
• scientific article; zbMATH DE number 1497834 (Why is no real title available?)
• Feature automata and recognizable sets of feature trees
• Equational and membership constraints for infinite trees

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