scientific article; zbMATH DE number 1555185

MaRDI QIDQ4525285zbMATH OpenFDO

Authors Dexter Kozen

Publication date 22 January 2001

Mathematics Subject Classification ID

Logic in computer science (03B70) Equational classes, universal algebra in model theory (03C05) Abstract data types; algebraic specification (68Q65)

Recommendations

• Set constraints in some equational theories
• Rational spaces and set constraints
• scientific article; zbMATH DE number 2102743
• Rational spaces and set constraints
• Set constraints and logic programming

Cited in

(15)

• Complexity of algebraic implementations for abstract data types
• Set constraints and logic programming
• Set constraints in some equational theories
• An undecidable fragment of the theory of set constraints
• Set constraints and automata
• Tight representation of logical constraints as cardinality rules
• Set constraints and topology
• Tarskian set constraints
• Set constraints with intersection
• Constraints in non-Boolean contexts
• scientific article; zbMATH DE number 2102743 (Why is no real title available?)
• Some new decidability results on positive and negative set constraints
• Rational spaces and set constraints
• Logic Programming and Nonmonotonic Reasoning
• Rational spaces and set constraints

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