Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Query languages
Query processing
Boolean combinations
2
Constraint Databases
2
Data exploration
2
Data structures
2
Data visualization
2
Database queries
2
Efficient query evaluation
2
End users
2
Expressive power
2
First order logic
2
Formal logic
2
Model checking
2
Path condition
2
Polynomial inequalities
2
Program Analysis
2
Program analysis
2
Quantifier elimination
2
Query Generation
2
Query generation
2
Smt solvers
2
Software testing
2
Symbolic Execution
2
Symbolic execution
2
Test data
2
Ciencias Informáticas
1
Informática
1
Relational databases
1
Search process
1
-
1por Bender, Cristina, Plüss, Jorge, Casali, Ana, Corti, Rosa Marina, D'Agostino, Estela, Deco, Claudia
Publicado 1998Aportado por: SEDICI (UNLP)Objeto de conferencia -
2
-
3
-
4
-
5