The following pages link to Łukasz Kaiser (Q555654):
Displayed 30 items.
- Logic and games on automatic structures. Playing with quantifiers and decompositions (Q555655) (← links)
- Information tracking in games on graphs (Q616037) (← links)
- Entanglement and the complexity of directed graphs (Q1929212) (← links)
- Model checking games for the quantitative \(\mu \)-calculus (Q1959394) (← links)
- Model-theoretic properties of \(\omega\)-automatic structures (Q2254518) (← links)
- (Q2904795) (← links)
- A Perfect-Information Construction for Coordination in Games (Q2911640) (← links)
- Solving Counter Parity Games (Q2912718) (← links)
- Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems (Q2914242) (← links)
- (Q2954982) (← links)
- Expressing cardinality quantifiers in monadic second-order logic over chains (Q3011122) (← links)
- Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems (Q3012936) (← links)
- Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees (Q3065008) (← links)
- Degrees of Lookahead in Regular Infinite Games (Q3166215) (← links)
- Synthesis for Structure Rewriting Systems (Q3182943) (← links)
- Directed Graphs of Entanglement Two (Q3183606) (← links)
- MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing (Q3192089) (← links)
- Degrees of Lookahead in Regular Infinite Games (Q3557856) (← links)
- (Q3574467) (← links)
- New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures (Q3586053) (← links)
- Game Quantification on Automatic Structures and Hierarchical Model Checking Games (Q3613353) (← links)
- Cardinality Quantifiers in MLO over Trees (Q3644744) (← links)
- Characterising Choiceless Polynomial Time with First-Order Interpretations (Q4635846) (← links)
- A Counting Logic for Structure Transition Systems (Q4649559) (← links)
- (Q4910728) (← links)
- (Q4910735) (← links)
- Experiments with Reduction Finding (Q5326462) (← links)
- (Q5351973) (← links)
- Foundations of Software Science and Computational Structures (Q5705906) (← links)
- Directed Width Measures and Monotonicity of Directed Graph Searching (Q6254068) (← links)