Showing 1 - 2 results of 2 for search 'Zetzsche, G', query time: 0.02s Refine Results
  1. 1
    Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests

    Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests by Haase, C, Zetzsche, G

    Published 2019
    Conference item
  2. 2
    The complexity of regular abstractions of one-counter languages

    The complexity of regular abstractions of one-counter languages by Atig, M, Chistikov, D, Hofman, P, Narayan Kumar, K, Saivasan, P, Zetzsche, G

    Published 2016
    Conference item

Search Tools: