search result

Cover von Computer Science Logic
24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23 - 27, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 6247
Media group: MONOGRAPHIE
Cover von ICC 99; 1
special issue : S. 1 - 137
Search for this author
Year: 2003
Publisher: San Diego, Academic Press
Count: 1
Media group: SPECIAL ISSUE
Cover von Characterizing NC¹ with Typed Monoids

Characterizing NC¹ with Typed Monoids

Year: 2025
Media group: LIPIcs
Cover von Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras

Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras

Year: 2026
Media group: LIPIcs
Cover von MSO undecidability for hereditary classes of unbounded clique-width

MSO undecidability for hereditary classes of unbounded clique-width

article 103700
Year: 2025
SI
Media group: ARTICLE
Cover von Preservation Theorems on Sparse Classes Revisited

Preservation Theorems on Sparse Classes Revisited

Year: 2024
Media group: LIPIcs
Cover von Quantifiers Closed Under Partial Polymorphisms

Quantifiers Closed Under Partial Polymorphisms

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

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2022
Media group: LIPIcs
Cover von LIPIcs, Volume 250, FSTTCS 2022, Complete Volume

LIPIcs, Volume 250, FSTTCS 2022, Complete Volume

Year: 2022
Media group: LIPIcs
Cover von 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
FSTTCS 2022 : December 18 - 20, 2022, IIT Madras, Chennai, India
Search for this author
Year: 2022
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 250
Media group: LIPIcs
OPEN V 11.1.0.0