Martin Grohe

Martin Grohe (born 1967) is a German mathematician and computer scientist known for his research on parameterized complexity, mathematical logic, finite model theory, the logic of graphs, database theory, descriptive complexity theory, and graph neural networks. He is a University Professor of Computer Science at RWTH Aachen University, where he holds the Chair for Logic and Theory of Discrete Systems. Provided by Wikipedia
Showing 1 - 9 results of 9 for search 'Martin Grohe', query time: 0.02s Refine Results
  1. 1
    Infinite Probabilistic Databases

    Infinite Probabilistic Databases by Martin Grohe, Peter Lindner

    Published 2022-02-01
    Get full text
    Article
  2. 2
    Randomisation and Derandomisation in Descriptive Complexity Theory

    Randomisation and Derandomisation in Descriptive Complexity Theory by Kord Eickmeyer, Martin Grohe

    Published 2011-09-01
    Get full text
    Article
  3. 3
    Model-Checking Problems as a Basis for Parameterized Intractability

    Model-Checking Problems as a Basis for Parameterized Intractability by Joerg Flum, Martin Grohe

    Published 2005-03-01
    Get full text
    Article
  4. 4
    The Complexity of Datalog on Linear Orders

    The Complexity of Datalog on Linear Orders by Martin Grohe, Goetz Schwandtner

    Published 2009-02-01
    Get full text
    Article
  5. 5
    The succinctness of first-order logic on linear orders

    The succinctness of first-order logic on linear orders by Martin Grohe, Nicole Schweikardt

    Published 2005-06-01
    Get full text
    Article
  6. 6
    Definable decompositions for graphs of bounded linear cliquewidth

    Definable decompositions for graphs of bounded linear cliquewidth by Mikołaj Bojańczyk, Martin Grohe, Michał Pilipczuk

    Published 2021-01-01
    Get full text
    Article
  7. 7
    Hypertree-Width and Related Hypergraph Invariants

    Hypertree-Width and Related Hypergraph Invariants by Isolde Adler, Georg Gottlob, Martin Grohe

    Published 2005-01-01
    Get full text
    Article
  8. 8
    L-Recursion and a new Logic for Logarithmic Space

    L-Recursion and a new Logic for Logarithmic Space by Martin Grohe, Berit Grußien, André Hernich, Bastian Laubner

    Published 2013-03-01
    Get full text
    Article
  9. 9
    A Finite-Model-Theoretic View on Propositional Proof Complexity

    A Finite-Model-Theoretic View on Propositional Proof Complexity by Erich Grädel, Martin Grohe, Benedikt Pago, Wied Pakusa

    Published 2022-06-01
    Get full text
    Article

Search Tools: