search result

Cover von Computer Science
Theory and Applications - 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10304
Media group: MONOGRAPHIE
Cover von The FO2 alternation hierarchy is decidable

The FO2 alternation hierarchy is decidable

Year: 2012
Media group: ARTICLE
Cover von STACS 2007
24th annual symposium on theoretical aspects of computer science, Aachen, Germany, February 22 - 24, 2007, proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4393
Media group: MONOGRAPHIE
Cover von Abstracts Collection - 25th International Symposium on Theoretical Aspects of Computer Science

Abstracts Collection - 25th International Symposium on Theoretical Aspects of Computer Science

Year: 2008
Media group: ARTICLE
Cover von Proceedings  of the 25th international symposium on theoretical aspects of computer science
21 - 23 February 2008, Bordeaux, France 2008
Search for this author
Year: 2008
Publisher: Wadern-Dagstuhl, IBFI
Media group: KONGRESSBERICHT
Cover von Proceedings of the 25th international symposium on theoretical aspects of computer science
21 - 23 February 2008, Bordeaux, France
Search for this author
Year: 2008
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 1
Media group: LIPIcs
Cover von The Quantifier Alternation Hierarchy of Synchronous Relations

The Quantifier Alternation Hierarchy of Synchronous Relations

Year: 2019
Media group: LIPIcs
Cover von Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages

Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages

Year: 2022
Media group: LIPIcs
Cover von Wreath/Cascade Products and Related Decomposition Results for the Concurrent Setting of Mazurkiewicz Traces

Wreath/Cascade Products and Related Decomposition Results for the Concurrent Setting of Mazurkiewicz Traces

Year: 2020
Media group: LIPIcs
OPEN V 11.1.0.0