| 臺大學術典藏 |
2021-09-14T23:19:16Z |
Towards a more efficient approach for the satisfiability of two-variable logic
|
Lin, Ting Wei; Lu, Chia Hsuan; TONY TAN |
| 臺大學術典藏 |
2021-09-02T00:08:57Z |
A simple combinatorial proof for the small model property of two-variable logic
|
Ma Y;Tan T.; Ma Y; Tan T.; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:25Z |
Approximating Polygonal Objects by Deformable Smooth Surfaces.
|
Cheng, Ho-Lun; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:25Z |
Regular Expressions for Languages over Infinite Alphabets.
|
Kaminski, Michael; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:25Z |
Subdividing Alpha Complex.
|
Cheng, Ho-Lun; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:25Z |
A Note on First-Order Spectra with Binary Relations
|
Kopczynski, Eryk;Tan, Tony; Kopczynski, Eryk; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:25Z |
Parallel Evaluation of Multi-Semi-Joins
|
TONY TAN; Vansummeren, Stijn; Tan, Tony; Neven, Frank; Daenen, Jonny; Daenen, Jonny;Neven, Frank;Tan, Tony;Vansummeren, Stijn |
| 臺大學術典藏 |
2020-05-04T08:07:24Z |
A Note on Two-pebble Automata Over Infinite Alphabets.
|
Kaminski, Michael;Tan, Tony; Kaminski, Michael; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:24Z |
On pebble automata for data languages with decidable emptiness problem.
|
Tan, Tony; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:24Z |
On the Satisfiability of Two-Variable Logic over Data Words.
|
David, Claire;Libkin, Leonid;Tan, Tony; David, Claire; Libkin, Leonid; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:24Z |
On Pebble Automata for Data Languages with Decidable Emptiness Problem.
|
Tan, Tony; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:24Z |
Approximating polyhedral objects with deformable smooth surfaces.
|
Cheng, Ho-Lun;Tan, Tony; Cheng, Ho-Lun; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:24Z |
Tree Automata over Infinite Alphabets.
|
Kaminski, Michael; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:24Z |
Graph Reachability and Pebble Automata over Infinite Alphabets.
|
Tan, Tony; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:23Z |
On the complexity of query answering over incomplete XML documents.
|
Gheerbrant, Am?lie; Libkin, Leonid; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:23Z |
Feasible Automata for Two-Variable Logic with Successor on Data Words.
|
Kara, Ahmet; Schwentick, Thomas; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:23Z |
An Automata Model for Trees with Ordered Data Values.
|
Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:23Z |
A Formalism for Graph Databases and its Model of Computation.
|
Reutter, Juan L.;Tan, Tony; Reutter, Juan L.; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:23Z |
Efficient reasoning about data trees via integer linear programming.
|
David, Claire;Libkin, Leonid;Tan, Tony; David, Claire; Libkin, Leonid; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:23Z |
Efficient reasoning about data trees via integer linear programming.
|
David, Claire; Libkin, Leonid; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:22Z |
Gumbo: Guarded Fragment Queries over Big Data.
|
TONY TAN; Tan, Tony; Neven, Frank; Daenen, Jonny; Daenen, Jonny;Neven, Frank;Tan, Tony |
| 臺大學術典藏 |
2020-05-04T08:07:22Z |
Distributed Streaming with Finite Memory.
|
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:22Z |
Regular Expressions for Querying Data graphs.
|
Tan, Tony;Vrgoc, Domagoj; Tan, Tony; Vrgoc, Domagoj; TONY TAN |
| 臺大學術典藏 |
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: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 |
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 Graphs and the Spectra of Two-Variable Logic with Counting.
|
Kopczynski, Eryk;Tan, Tony; Kopczynski, Eryk; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:21Z |
On the Variable Hierarchy of First-Order Spectra.
|
Kopczynski, Eryk;Tan, Tony; Kopczynski, Eryk; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:21Z |
A note on first-order spectra with binary relations.
|
Kopczynski, Eryk; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2013 |
Regular Expressions with Binding over Data Words for Querying Graph Databases.
|
Libkin, Leonid;Tan, Tony;Vrgoc, Domagoj; Libkin, Leonid; Tan, Tony; Vrgoc, Domagoj; TONY TAN |
