search result

Cover von Symmetric Algebraic Circuits and Homomorphism Polynomials

Symmetric Algebraic Circuits and Homomorphism Polynomials

Year: 2026
Media group: LIPIcs
Cover von Game Comonads & Generalised Quantifiers

Game Comonads & Generalised Quantifiers

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

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2020
Media group: LIPIcs
Cover von LIPIcs, Volume 168, ICALP 2020, Complete Volume

LIPIcs, Volume 168, ICALP 2020, Complete Volume

Year: 2020
Media group: LIPIcs
Cover von 47th International Colloquium on Automata, Languages, and Programming
ICALP 2020 : July 8 - 11, 2020, Saarbrücken, Germany (Virtual Conference)
Search for this author
Year: 2020
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 168
Media group: LIPIcs
Cover von Approximations of Isomorphism and Logics with Linear-Algebraic Operators

Approximations of Isomorphism and Logics with Linear-Algebraic Operators

Year: 2019
Media group: LIPIcs
Cover von The Ackermann Award 2012

The Ackermann Award 2012

Year: 2012
Media group: ARTICLE
Cover von Descriptive complexity of controllable graphs
Search for this author
Year: 2023
Publisher: Amsterdam, Elsevier
Series: Procedia Computer Science; 223. 2023 : article
Media group: ARTICLE
Cover von Preservation Theorems in Semiring Semantics

Preservation Theorems in Semiring Semantics

Year: 2026
Media group: LIPIcs
Cover von Symmetric Proofs in the Ideal Proof System

Symmetric Proofs in the Ideal Proof System

Year: 2025
Media group: LIPIcs
OPEN V 11.1.0.0