|
"libkin leonid"的相關文件
顯示項目 1-10 / 10 (共1頁)
1
每頁顯示[10|25|50]項目
| 臺大學術典藏 |
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 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: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 |
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; 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: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 |
| 臺大學術典藏 |
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 |
| 臺大學術典藏 |
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 |
顯示項目 1-10 / 10 (共1頁)
1
每頁顯示[10|25|50]項目
|
