Showing 1 - 3 results of 3 for search '"Switzerland"' Refine Results
  1. 1
    Level two of the quantifier alternation hierarchy over infinite words
    by Manfred Kufleitner, Tobias Walter
    Published 2016
    “...© Springer International Publishing Switzerland 2016. The study of various decision problems...”
    Get full text
    Default Conference proceeding
    Save to List
    Saved in:
  2. 2
    Block products and nesting negations in FO2
    “... to ordered monoids. © 2014 Springer International Publishing Switzerland....”
    Get full text
    Default Conference proceeding
    Save to List
    Saved in:
  3. 3
    The word problem for omega-terms over the Trotter-Weil hierarchy [extended abstract]
    “...© Springer International Publishing Switzerland 2016. Over finitewords, there is a tight connection...”
    Get full text
    Default Conference proceeding
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search