Showing 1 - 2 results of 2 for search 'Joost Engelfriet', query time: 0.02s Refine Results
  1. 1
    A B\"uchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage

    A B\"uchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage by Joost Engelfriet, Heiko Vogler

    Published 2020-08-01
    Get full text
    Article
  2. 2
    Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure

    Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure by Joost Engelfriet, Hendrik Jan Hoogeboom

    Published 2007-04-01
    Get full text
    Article

Search Tools: