Pages that link to "Item:Q1360676"
From MaRDI portal
The following pages link to Non-determinism in logic-based languages (Q1360676):
Displayed 7 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)
- Expressiveness of efficient semi-deterministic choice constructs (Q4632419) (← links)
- (Q5094143) (← links)
- Semantics and Proof Theory of the Epsilon Calculus (Q5224489) (← links)
- (Q5389723) (← links)
- Semantics and expressive power of nondeterministic constructs in deductive databases (Q5943120) (← links)