Pages that link to "Item:Q5204339"
From MaRDI portal
The following pages link to Infinitary logic for computer science (Q5204339):
Displaying 11 items.
- Infinity in logic and computation. International conference, ILC 2007, Cape Town, South Africa, November 3--5, 2007. Revised selected papers (Q732868) (← links)
- Logic programming with infinite sets (Q812390) (← links)
- Semantics of infinite tree logic programming (Q1090469) (← links)
- Reasoning about infinite computations (Q1341752) (← links)
- Unification of infinite sets of terms schematized by primal grammars (Q1392278) (← links)
- (Q3221399) (← links)
- (Q3984864) (← links)
- (Q4029601) (← links)
- (Q4364389) (← links)
- Implicit definability and infinitary logic in finite model theory (Q4645216) (← links)
- Game comonads \& generalised quantifiers (Q6597958) (← links)