Pages that link to "Item:Q1360676"
From MaRDI portal
The following pages link to Non-determinism in logic-based languages (Q1360676):
Displayed 4 items.
- An extension of fixpoint logic with a symmetry-based choice construct (Q1271477) (← links)
- Epsilon-logic is more expressive than first-order logic over finite structures (Q2710605) (← links)
- (Q5389723) (← links)
- Semantics and expressive power of nondeterministic constructs in deductive databases (Q5943120) (← links)