The following pages link to Tomasz Gogacz (Q314823):
Displayed 12 items.
- Converging to the chase -- a tool for finite controllability (Q314825) (← links)
- Measure properties of regular sets of trees (Q2407093) (← links)
- Measure Properties of Game Tree Languages (Q2922025) (← links)
- ON REGULAR GROUPS AND FIELDS (Q2933678) (← links)
- Entropy Bounds for Conjunctive Queries with Functional Dependencies (Q3174907) (← links)
- Non-dominating Sequences of Vectors Using only Resets and Increments (Q3187002) (← links)
- The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable (Q4635811) (← links)
- (Q4999276) (← links)
- On the Decidability of MSO+U on Infinite Trees (Q5167826) (← links)
- All–Instances Termination of Chase is Undecidable (Q5167846) (← links)
- Converging to the Chase -- A Tool for Finite Controllability (Q5271092) (← links)
- Uniform Restricted Chase Termination (Q6156026) (← links)