Francisco J. Martín-Mateos

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 1

Top Topics

Database Theory

Formal Definitions

Top Venues

Publications

Laureano Lambán, Francisco J. Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms. ITP (2017)
José-Antonio Alonso, Gonzalo A. Aranda-Corral, Francisco J. Martín-Mateos
KRRT: Knowledge Representation and Reasoning Tutor System. EUROCAST (2007)