Login / Signup
Ramón Casares
Publication Activity (10 Years)
Years Active: 2012-2016
Publications (10 Years): 3
Top Topics
Spatio Temporal
Formal Proof
Theorem Prover
Problems Involving
Top Venues
CoRR
PACIS
</>
Publications
</>
Guillermo de Bernardo
,
Ramón Casares
,
Adrián Gómez-Brandón
,
José R. Paramá
A New method to Index and Store Spatio-Temporal Data.
PACIS
(2016)
Guillermo de Bernardo
,
Ramón Casares
,
Adrián Gómez-Brandón
,
José R. Paramá
A new method to index and store spatio-temporal data.
CoRR
(2016)
Ramón Casares
Syntax Evolution: Problems and Recursion.
CoRR
(2015)
Ramón Casares
Problem Theory.
CoRR
(2014)
Ramón Casares
Proof of Church's Thesis
CoRR
(2012)