Search Result
| Your search for 51935 returns 250 document(s) |
| Inference of Monotonicity Constraints in Datalog Programs (190-199) |
| Author: Alexander Brodsky Yehoshua Sagiv; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Inference of Inequality Constraints in Logic Programs (227-240) |
| Author: Alexander Brodsky Yehoshua Sagiv; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Parallelizing Datalog Programs by Generalized Pivoting (241-251) |
| Author: Jurgen Seib J. Georg Lausen; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Testing for termination with monotonicity constraints, (LNCS-Lecture Notes in Computer Science 3668) Hal 326-340 |
| Author: Michael Coodish; Vitaly Lagoon; Peter J. Stuckey; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS |
| Find Similar | Add To Favorites | Detail in New Window |
| External perfect hashing(190-199) |
| Author: Per-Ake Larson and M. V. Ramakrishna; | Call Number: SEM-357 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Disjunctive datalog |
| Author: Thomas Eiter | Type: Indeks Artikel Jurnal |
| Find Similar | Add To Favorites | Detail in New Window |
| Tools for Datalog Boundedness (1-12) |
| Author: Gerd G. Hillebrand Paris C. Kanellakis Herry G.Mairson Moshe Y. Vardi; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Hypothetical Datalog Negation and Recursion (286-300) |
| Author: Anthony J. Bonner; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| On Datalog vs Polynomial Time (13-25) |
| Author: Foto Afrati Stavros S.Cosmadakis Mihalis Yannakakis; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Micronets: a model for decentralising control in asynchronous processor architecture, Hal. 190-199 |
| Author: D.K. Arvind. R.D. Mullins and V.E.F. Rebello; | Call Number: SEm-234 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Prev 1 2 3 4 5 6 7 8 9 10 Next |