Pages that link to "Item:Q3212263"
From MaRDI portal
The following pages link to Set constructors in a logic database language (Q3212263):
Displayed 5 items.
- Logic programming approach to automata-based decision procedures (Q347398) (← links)
- Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) (← links)
- An object-oriented deductive language (Q1360678) (← links)
- Constructive negation and constraint logic programming with sets (Q5945160) (← links)
- Incremental reasoning on monadic second-order logics with logic programming (Q5963088) (← links)