Showing 1 - 4 results of 4 for search 'Thomas Zeume', 查询时间: 0.02s Refine Results
  1. 1
    Dynamic Complexity of Parity Exists Queries

    Dynamic Complexity of Parity Exists Queries 由 Nils Vortmeier, Thomas Zeume

    出版 2021-11-01
    获取全文
    文件
  2. 2
    Register Automata with Extrema Constraints, and an Application to Two-Variable Logic

    Register Automata with Extrema Constraints, and an Application to Two-Variable Logic 由 Szymon Toruńczyk, Thomas Zeume

    出版 2022-03-01
    获取全文
    文件
  3. 3
    Two-Variable Logic with Two Order Relations

    Two-Variable Logic with Two Order Relations 由 Thomas Schwentick, Thomas Zeume

    出版 2012-03-01
    获取全文
    文件
  4. 4
    A Strategy for Dynamic Programs: Start over and Muddle through

    A Strategy for Dynamic Programs: Start over and Muddle through 由 Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume

    出版 2019-05-01
    获取全文
    文件

检索工具: