|
"tan tony"的相关文件
显示项目 36-45 / 52 (共6页) << < 1 2 3 4 5 6 > >> 每页显示[10|25|50]项目
| 臺大學術典藏 |
2020-05-04T08:07:22Z |
Extending two-variable logic on data trees with order on data values and its automata.
|
Tan, Tony; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:22Z |
Graph Reachability and Pebble Automata over Infinite Alphabets.
|
Tan, Tony; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:22Z |
Graph Reachability and Pebble Automata over Infinite Alphabets.
|
Tan, Tony; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:21Z |
Two-variable logic revisited.
|
Ma, Yanger;Tan, Tony; Ma, Yanger; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:21Z |
Two-variable logic revisited.
|
Ma, Yanger;Tan, Tony; Ma, Yanger; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:21Z |
Finite-State Map-Reduce Computation and Relational Algebra Queries.
|
Neven, Frank;Schweikardt, Nicole;Servais, Fr?d?ric;Tan, Tony; Neven, Frank; Schweikardt, Nicole; Servais, Fr?d?ric; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:21Z |
Finite-State Map-Reduce Computation and Relational Algebra Queries.
|
Neven, Frank;Schweikardt, Nicole;Servais, Fr?d?ric;Tan, Tony; Neven, Frank; Schweikardt, Nicole; Servais, Fr?d?ric; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:21Z |
Register automata with linear arithmetic.
|
Chen, Yu-Fang; Leng?l, Ondrej; Tan, Tony; Wu, Zhilin; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:21Z |
Regular expressions for data words.
|
Libkin, Leonid;Tan, Tony;Vrgoc, Domagoj; Libkin, Leonid; Tan, Tony; Vrgoc, Domagoj; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:21Z |
Regular expressions for data words.
|
Libkin, Leonid;Tan, Tony;Vrgoc, Domagoj; Libkin, Leonid; Tan, Tony; Vrgoc, Domagoj; TONY TAN |
显示项目 36-45 / 52 (共6页) << < 1 2 3 4 5 6 > >> 每页显示[10|25|50]项目
|