Rafael Grimson

Available identifiers

Publication	Date of Publication	Type
SOME FRAGMENTS OF SECOND-ORDER LOGIC OVER THE REALS FOR WHICH SATISFIABILITY AND EQUIVALENCE ARE (UN)DECIDABLE	2015-07-30	Paper
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies	2014-06-10	Paper
Efficient evaluation of specific queries in constraint databases	2013-04-04	Paper
Evaluating geometric queries using few arithmetic operations	2012-12-13	Paper
Quantifier elimination for elementary geometry and elementary affine geometry	2012-12-10	Paper
On the expressive power of IF-logic with classical negation	2011-05-27	Paper
On the formal semantics of IF-like logics	2010-07-08	Paper
Some lower bounds for the complexity of the linear programming feasibility problem over the reals	2009-01-30	Paper
On the Formal Semantics of IF-Like Logics	2008-07-10	Paper

This page was built for person: Rafael Grimson