Showing 1 - 4 results of 4 for search 'Antti Kuusisto', query time: 0.03s Refine Results
  1. 1
    Some Turing-Complete Extensions of First-Order Logic

    Some Turing-Complete Extensions of First-Order Logic by Antti Kuusisto

    Published 2014-08-01
    Get full text
    Article
  2. 2
    Emptiness Problems for Distributed Automata

    Emptiness Problems for Distributed Automata by Antti Kuusisto, Fabian Reiter

    Published 2017-09-01
    Get full text
    Article
  3. 3
    Undecidable First-Order Theories of Affine Geometries

    Undecidable First-Order Theories of Affine Geometries by Antti Kuusisto, Jeremy Meyers, Jonni Virtema

    Published 2013-12-01
    Get full text
    Article
  4. 4
    Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics

    Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics by Cristina Feier, Antti Kuusisto, Carsten Lutz

    Published 2019-05-01
    Get full text
    Article

Search Tools: