search result

Cover von Descriptive complexity of the generalized spectra of graphs
article
Search for this author
Year: 2022
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
Cover von MSO Undecidability for Hereditary Classes of Unbounded Clique Width

MSO Undecidability for Hereditary Classes of Unbounded Clique Width

Year: 2022
Media group: LIPIcs
Cover von Lower Bounds for Symmetric Circuits for the Determinant

Lower Bounds for Symmetric Circuits for the Determinant

Year: 2022
Media group: LIPIcs
Cover von On the Relative Power of Linear Algebraic Approximations of Graph Isomorphism

On the Relative Power of Linear Algebraic Approximations of Graph Isomorphism

Year: 2021
Media group: LIPIcs
Cover von Extension Preservation in the Finite and Prefix Classes of First Order Logic

Extension Preservation in the Finite and Prefix Classes of First Order Logic

Year: 2021
Media group: LIPIcs
Cover von Symmetric Arithmetic Circuits

Symmetric Arithmetic Circuits

Year: 2020
Media group: LIPIcs
Cover von Symmetric Circuits for Rank Logic

Symmetric Circuits for Rank Logic

Year: 2018
Media group: LIPIcs
Cover von Definable Inapproximability

Definable Inapproximability

New Challenges for Duplicator
Year: 2018
Media group: LIPIcs
Cover von The Ackermann Award 2016

The Ackermann Award 2016

Year: 2016
Media group: LIPIcs
Cover von Logic, Language, Information and Computation
17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
Search for this author
Year: 2010
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 6188
Media group: MONOGRAPHIE
OPEN V 11.1.0.0