Showing 1 - 6 results of 6 for search 'Heribert Vollmer', query time: 0.02s Refine Results
  1. 1
    Finite Automata with Generalized Acceptance Criteria

    Finite Automata with Generalized Acceptance Criteria by Timo Peichl, Heribert Vollmer

    Published 2001-01-01
    Get full text
    Article
  2. 2
    On Second-Order Monadic Monoidal and Groupoidal Quantifiers

    On Second-Order Monadic Monoidal and Groupoidal Quantifiers by Juha Kontinen, Heribert Vollmer

    Published 2010-09-01
    Get full text
    Article
  3. 3
    A Fragment of Dependence Logic Capturing Polynomial Time

    A Fragment of Dependence Logic Capturing Polynomial Time by Johannes Ebbing, Juha Kontinen, Julian-Steffen Müller, Heribert Vollmer

    Published 2014-08-01
    Get full text
    Article
  4. 4
    The Complexity of Generalized Satisfiability for Linear Temporal Logic

    The Complexity of Generalized Satisfiability for Linear Temporal Logic by Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer

    Published 2009-01-01
    Get full text
    Article
  5. 5
    Model Checking CTL is Almost Always Inherently Sequential

    Model Checking CTL is Almost Always Inherently Sequential by Olaf Beyersdorff, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Heribert Vollmer

    Published 2011-05-01
    Get full text
    Article
  6. 6
    Complexity classifications for different equivalence and audit problems for Boolean circuits

    Complexity classifications for different equivalence and audit problems for Boolean circuits by Elmar Böhler, Nadia Creignou, Matthias Galota, Steffen Reith, Henning Schnoor, Heribert Vollmer

    Published 2012-09-01
    Get full text
    Article

Search Tools: