Rafael Grimson

Available identifiers

zbMath Open grimson.rafaelMaRDI QIDQ980941

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Rafael Grimson