| Your search for 51946 returns 119 document(s) |
| On the First-Order Expressibillity of Recursive Queries (311-323) |
|
Author: Stavros S. Cosmadakis; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Some connections between iterative programs, recursive programs, and first-order logic, (LNCS-Lecture Notes in Computer Science 131) Hal. 150-166 |
|
Author: A.J. Kfoury; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the Expected Size of Recursive Datalog Queries (268-279) |
|
Author: S. Seshadri
Jeffrey F. Naughton; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| First-order logic and automated proving |
|
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Optimization of objects-oriented recursive queries using cost-controlled strategies (hal 256 - 265) |
|
Author: Rosana S.G. Lanzelotte, Patrick Valduriez, Mohamed Zait; | Call Number: SEM - 359 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dynamic tree isomorphism via first-order updates to a relational database, Hal. 235-243 |
|
Author: Kousha Etissami; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analisis Semantik dengan Representasi “First Order Logic” dalam Sistem Tanya Jawab |
|
Author: Hapnes Toba; | Call Number: TR-CSUI-011-2010 | Type: Technical Report
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Database Theory and Database Systems: Definable Relations and First-Order Query Languages Over Strings |
|
Author: M. Benedikt, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Incremental Maintenance of Shortest Distance and Transitive Closure in First-Order Logic and SQL, page 698-721 |
|
Author: C. Pang, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| First-order tree-type dependence between variables and classification performance, page 233 |
|
Author: S. Raudys | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result