Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
A closed-form evaluation for Datalog queries with integer (gap)-order constraintsRevesz, Peter Z.Theoretical computer science, 1993-08, Vol.116 (1), p.117-149 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Safe Datalog Queries with Linear ConstraintsRevesz, Peter Z.Lecture notes in computer science, 1998, p.355-369 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality ConstraintsRevesz, PeterAdvances in Databases and Information Systems, 2004, p.1-21 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Constraint Database Solutions to the Genome Map Assembly ProblemRamanathan, Viswanathan ; Revesz, PeterConstraint Databases, 2004, p.88-111 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Constraint Databases, Data Structures and Efficient Query EvaluationHeintz, Joos ; Kuijpers, BartConstraint Databases, 2004, p.1-24 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
A New Shape Function Based Spatiotemporal Interpolation MethodLi, Lixin ; Li, Youming ; Piltner, ReinhardConstraint Databases, 2004, p.25-39 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Moving Objects and Their Equations of MotionGeerts, FlorisConstraint Databases, 2004, p.40-51 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Constraint Processing Techniques for Improving Join Computation: A Proof of ConceptLal, Anagh ; Choueiry, Berthe Y.Constraint Databases, 2004, p.143-160 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Taking Constraints out of Constraint DatabasesGoldin, Dina Q.Constraint Databases, 2004, p.161-172 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Applying Constraint Databases in the determination of potential minimal conflicts to polynomial model-based DiagnosisGOMEZ LOPEZ, Maria Teresa ; CEBALLOS GUERRERO, Rafael ; MARTINEZ GASCA, Rafael ; DEL VALLE SEVILLA, CarmeloLecture notes in computer science, 2004, p.74-87 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |