search result

Cover von Current Trends and New Perspectives for First-Order Model Checking (Invited Talk)

Current Trends and New Perspectives for First-Order Model Checking (Invited Talk)

Year: 2017
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organisation, External Reviewers

Front Matter, Table of Contents, Preface, Conference Organisation, External Reviewers

Year: 2015
Media group: LIPIcs
Cover von 24th EACSL Annual Conference on Computer Science Logic
CSL 2015 : September 7 - 10, 2015 : Berlin, Germany
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 41
Media group: LIPIcs
Cover von Pure and applied fixed-point logics
Author: Kreutzer, Stephan Search for this author
Year: 2002
Publisher: Aachen, Universität
Media group: DISSERTATION
Cover von Computing Shrub-Depth Decompositions

Computing Shrub-Depth Decompositions

Year: 2020
Media group: LIPIcs
Cover von Domination Problems in Nowhere-Dense Classes

Domination Problems in Nowhere-Dense Classes

Year: 2009
Media group: ARTICLE
Cover von Differential Games, Locality, and Model Checking for FO Logic of Graphs

Differential Games, Locality, and Model Checking for FO Logic of Graphs

Year: 2022
Media group: LIPIcs
Cover von Well-Quasi-Ordering Eulerian Digraphs

Well-Quasi-Ordering Eulerian Digraphs

Bounded Carving Width
Year: 2026
Media group: LIPIcs
Cover von On Zero-One and Convergence Laws for Graphs Embeddable on a Fixed Surface

On Zero-One and Convergence Laws for Graphs Embeddable on a Fixed Surface

Year: 2018
Media group: LIPIcs
Cover von Structural Properties and Constant Factor-Approximation of Strong Distance-r Dominating Sets in Sparse Directed Graphs

Structural Properties and Constant Factor-Approximation of Strong Distance-r Dominating Sets in Sparse Directed Graphs

Year: 2017
Media group: LIPIcs
OPEN V 11.1.0.0