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):
Displayed 7 items.
- Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) (← links)
- Logic programming with infinite sets (Q812390) (← links)
- A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets (Q1322849) (← links)
- Bounded quantifications for iteration and concurrency in logic programming (Q1326573) (← links)
- Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators (Q1854500) (← links)
- Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini (Q4361575) (← links)
- Constructive negation and constraint logic programming with sets (Q5945160) (← links)