search result

Cover von Circuits, logic, and games
Search for this author
Year: 2006
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 06451
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Database theory
11th international conference, Barcelona, Spain, January 10 - 12, 2007, proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4353
Media group: MONOGRAPHIE
Cover von Foundations of semistructured data
Search for this author
Year: 2005
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 05061
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Rewriting with Acyclic Queries

Rewriting with Acyclic Queries

Mind Your Head
Year: 2022
Media group: LIPIcs
Cover von Distribution Constraints

Distribution Constraints

The Chase for Distributed Data
Year: 2020
Media group: LIPIcs
Cover von Parallel-Correctness and Parallel-Boundedness for Datalog Programs

Parallel-Correctness and Parallel-Boundedness for Datalog Programs

Year: 2019
Media group: LIPIcs
Cover von Dynamic Complexity under Definable Changes

Dynamic Complexity under Definable Changes

Year: 2017
Media group: LIPIcs
Cover von Static Analysis for Logic-based Dynamic Programs

Static Analysis for Logic-based Dynamic Programs

Year: 2015
Media group: LIPIcs
Cover von Temporal Logics on Words with Multiple Data Values

Temporal Logics on Words with Multiple Data Values

Year: 2010
Media group: ARTICLE
Cover von Logik und Automaten

Logik und Automaten

ein echtes Dreamteam
Year: 2010
Media group: ARTICLE
OPEN V 11.1.0.0