|
English
|
正體中文
|
简体中文
|
2831685
|
|
???header.visitor??? :
33342568
???header.onlineuser??? :
697
???header.sponsordeclaration???
|
|
|
|
???tair.name??? >
???browser.page.title.author???
|
"tony tan"???jsp.browse.items-by-author.description???
Showing items 1-10 of 33 (4 Page(s) Totally)
1 2 3 4 > >>
View [10|25|50] records per page
| 臺大學術典藏 |
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 |
Showing items 1-10 of 33 (4 Page(s) Totally)
1 2 3 4 > >>
View [10|25|50] records per page
|
