search result

Cover von Banach-Mazur Games on Graphs

Banach-Mazur Games on Graphs

Year: 2008
Media group: ARTICLE
Cover von The complexity of subclasses of logical theories
Author: Grädel, Erich Search for this author
Year: 1987
Publisher: Basel, Univ.
Media group: DISSERTATION
Cover von Choiceless Logarithmic Space

Choiceless Logarithmic Space

Year: 2019
Media group: LIPIcs
Cover von Dependency Concepts up to Equivalence

Dependency Concepts up to Equivalence

Year: 2018
Media group: LIPIcs
Cover von Counting in Team Semantics

Counting in Team Semantics

Year: 2016
Media group: LIPIcs
Cover von Rank Logic is Dead, Long Live Rank Logic!

Rank Logic is Dead, Long Live Rank Logic!

Year: 2015
Media group: LIPIcs
Cover von Banach-Mazur Games with Simple Winning Strategies

Banach-Mazur Games with Simple Winning Strategies

Year: 2012
Media group: ARTICLE
Cover von Guarded Teams

Guarded Teams

The Horizontally Guarded Case
Year: 2020
Media group: LIPIcs
Cover von Entanglement and the complexity of directed graphs

Entanglement and the complexity of directed graphs

article
Year: 2012
Media group: ARTICLE
Cover von Model Checking Games for the Quantitative µ-Calculus

Model Checking Games for the Quantitative µ-Calculus

Year: 2008
Media group: ARTICLE
OPEN V 11.1.0.0