• 已选条件：
 全选  【符合条件的数据共：37条】

1 Algorithms for Game Metrics [会议论文]

作者:Krishnendu Chatterjee;Luca de Alfaro;Rupak Majumdar;等

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：2  ]    

2 The Complexity of Tree Transducer Output Languages [会议论文]

作者:Kazuhiro Inaba, Sebastian Maneth

会议时间:

预览  |  原文链接  |  全文  [ 浏览：6 下载：1  ]    

3 Some Sieving Algorithms for Lattice Problems [会议论文]

作者:V. Arvind, Pushkar S. Joglekar

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：2  ]    

4 Explicit Muller Games are PTIME [会议论文]

作者:Florian Horn

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：2  ]    

5 A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems [会议论文]

作者:Juan Rodríguez-Hortalá

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：2  ]    

6 Average-Time Games [会议论文]

作者:Marcin Jurdziński, Ashutosh Trivedi

会议时间:

预览  |  原文链接  |  全文  [ 浏览：13 下载：2  ]