GRIMSON, Rafael

Email Alert RSS Feed

Profile

Full Name
GRIMSON, Rafael
Email
rafael.grimson@uhasselt.be
 
Loading... 5 0 5 0 false
Loading... 6 0 5 0 false

Publications

Refined By:
Date Issued:  2014

Results 1-1 of 1 (Search time: 0.001 seconds).

Issue DateTitleContributor(s)TypeCat.
12014Some fragments of second-order logic over the reals for which satisability and equivalence are (un)decidableGRIMSON, Rafael; KUIJPERS, BartJournal ContributionA1