Showing 1 - 1 results of 1 for search 'Michael Elberfeld', query time: 0.02s Refine Results
  1. 1
    The parameterized space complexity of model-checking bounded variable first-order logic

    The parameterized space complexity of model-checking bounded variable first-order logic by Yijia Chen, Michael Elberfeld, Moritz Müller

    Published 2019-09-01
    Get full text
    Article

Search Tools: