Records for logic programming

DOI10.1016/0743-1066(94)90044-2MaRDI QIDQ4290618zbMATH OpenOpenAlexFDO

Authors Gert Smolka, Ralf Treinen

Publication date 5 May 1994

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(94)90044-2

zbMATH Keywords

axiomatizationconstraint logic programmingentailmentfeature treeslogical data structurelogical semanticsmathematical semanticsrecordssatisfiability

Mathematics Subject Classification ID

Logic programming (68N17) Data structures (68P05) Semantics in the theory of computing (68Q55)

Recommendations

• A feature constraint system for logic programming with entailment
• A complete axiomatization of a theory with feature and arity constraints
• scientific article; zbMATH DE number 970739

Cited in

(23)

• Combination of constraint solvers for free and quasi-free structures
• How to win a game with features
• A feature constraint system for logic programming with entailment
• Situated simplification
• Ordering constraints over feature trees expressed in second-order monadic logic.
• Dominance constraints with Boolean connectives: A model-eliminative treatment
• A rational reconstruction of the domain of feature structures
• Constructing infinitary quotient-inductive types
• Logics for unordered trees with data constraints
• Set constraints with intersection
• An improved lower bound for the elementary theories of trees
• Equational and membership constraints for infinite trees
• Regular path expressions in feature logic
• A foundation for higher-order concurrent constraint programming
• How to win a game with features
• Automata for unordered trees
• Type inference for first-class messages with feature constraints
• scientific article; zbMATH DE number 970739 (Why is no real title available?)
• Combination of constraint systems II: Rational amalgamation
• A complete and recursive feature theory
• Finite-tree analysis for constraint logic-based languages
• A new generic scheme for functional logic programming with constraints
• Theories with the independence property

This page was built for publication: Records for logic programming

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