search result

Cover von Monadic NIP in Monotone Classes of Relational Structures

Monadic NIP in Monotone Classes of Relational Structures

Year: 2023
Media group: LIPIcs
Cover von LIPIcs, Volume 254, STACS 2023, Complete Volume

LIPIcs, Volume 254, STACS 2023, Complete Volume

Year: 2023
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2023
Media group: LIPIcs
Cover von 40th International Symposium on Theoretical Aspects of Computer Science
STACS 2023 : March 7 - 9, 2023, Hamburg, Germany
Search for this author
Year: 2023
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 254
Media group: LIPIcs
Cover von Finite and Algorithmic Model Theory; 9
pp. 1-25
Search for this author
Year: 2018
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 9
Media group: DAGSTUHL REPORT
Cover von The Graph Isomorphism Problem; 12
pp. 1-17
Search for this author
Year: 2016
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 12
Media group: DAGSTUHL REPORT
Cover von The Ackermann Award 2013

The Ackermann Award 2013

Year: 2013
Media group: LIPIcs
Cover von Definability of linear equation systems over groups and rings

Definability of linear equation systems over groups and rings

Year: 2012
Media group: ARTICLE
Cover von How the World Computes
Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
Search for this author
Year: 2012
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 7318
Media group: MONOGRAPHIE
Cover von Compactness in Semiring Semantics

Compactness in Semiring Semantics

Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0