Buscar

Filtros

Use los filtros para refinar su búsqueda.

Autor:Kuijpers, Bart X

Mostrando ítems 1-5 de 5

Artículo

Some fragments of second-order logic over the reals for which satisfiability and equivalence are (un)decidable

Grimson, Rafael ; Kuijpers, Bart (Jagiellonian University, 2014-05)
Matemática Pura. Matemáticas. Ciencias Naturales Y Exactas
Artículo

Quantifier elimination for elementary geometry and elementary affine geometry

Grimson, Rafael ; Kuijpers, Bart ; Othman, Walied (Wiley VCH Verlag, 2012-11)
Matemática Pura. Matemáticas. Ciencias Naturales Y Exactas
Artículo

Software Engineering and complexity in effective Algebraic Geometry

Heintz, Joos Ulrich ; Kuijpers, Bart ; Rojas Paredes, Andres Avelino (Elsevier Inc, 2013-02)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

An analytic solution to the alibi query in the space-time prisms model for moving object data

Kuijpers, Bart ; Grimson, Rafael ; Othmans, Walied (Taylor & Francis, 2011-02)
Geografía Física. Ciencias de la Tierra y relacionadas con el Medio Ambiente. Ciencias Naturales Y Exactas
Artículo

Efficient evaluation of specific queries in constraint databases

Grimson, Rafael ; Heintz, Joos Ulrich ; Kuijpers, Bart (Elsevier Science, 2011-10)
Matemática Aplicada. Matemáticas. Ciencias Naturales Y Exactas

Mostrando ítems 1-5 de 5