Pages that link to "Item:Q3129506"
From MaRDI portal
The following pages link to {log}: A language for programming in logic with finite sets (Q3129506):
Displaying 26 items.
- A necessary condition for constructive negation in constraint logic programming (Q294756) (← links)
- Set graphs. IV. Further connections with claw-freeness (Q400530) (← links)
- Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) (← links)
- Subset-equational programming in intelligent decision systems (Q805225) (← links)
- Logic programming with infinite sets (Q812390) (← links)
- Logic programming with sets (Q909435) (← links)
- Set based logic programming (Q1029592) (← links)
- A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets (Q1322849) (← links)
- Bounded quantifications for iteration and concurrency in logic programming (Q1326573) (← links)
- A set solver for finite set relation algebra (Q1617837) (← links)
- Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators (Q1854500) (← links)
- Complexity assessments for decidable fragments of set theory. II: A taxonomy for `small' languages involving membership (Q2215960) (← links)
- Set graphs. II. Complexity of set graph recognition and similar problems (Q2253199) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- Automated reasoning with restricted intensional sets (Q2666960) (← links)
- The Bernays-Schönfinkel-Ramsey class for set theory: decidability (Q2915897) (← links)
- Compilation of set terms in the logic data language (LDL) (Q3992237) (← links)
- Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini (Q4361575) (← links)
- (Q4371015) (← links)
- Adding partial functions to Constraint Logic Programming with sets (Q4593005) (← links)
- (Q5087785) (← links)
- (Q5087786) (← links)
- Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case* (Q5158658) (← links)
- (Q5688911) (← links)
- Constructive negation and constraint logic programming with sets (Q5945160) (← links)
- Set-term unification in a logic database language (Q6064020) (← links)
