E-LIB Suche - Ergebnisse für: Martín Mateos, Francisco-Jesús

1

Future and Emerging Trends in Language Technology. Machine ..

Second International Workshop, FETLT 2016, Seville, Spain, ... Lecture Notes in Computer Science ; 10341;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Quesada, José F. ; Martín Mateos, Francisco-Jesús ; López Soto, Teresa , 2017

Link: https://doi.org/10.1007/..

2

Future and Emergent Trends in Language Technology

First International Workshop, FETLT 2015, Seville, Spain, N... Lecture Notes in Computer Science ; 9577;Lecture Notes in Artificial Intelligence ; 9577;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Quesada, José F. ; Martín Mateos, Francisco-Jesús ; Lopez-Soto, Teresa , 2016

Link: https://doi.org/10.1007/..

3

Modelling algebraic structures and morphisms in ACL2:

Heras, Jónathan ; Martín-Mateos, Francisco Jesús ; Pascual, Vico
Applicable Algebra in Engineering, Communication and Computing. 26 (2015) 3 - p. 277-303 , 2015

Link: https://doi.org/10.1007/..

4

Proof Pearl: a Formal Proof of Higman's Lemma in ACL2:

Martín-Mateos, Francisco Jesús ; Ruiz-Reina, José Luis ; Alonso, José Antonio.
Journal of Automated Reasoning. 47 (2010) 3 - p. 229-250 , 2010

Link: https://doi.org/10.1007/..

5

Formal verification of a generic framework to synthesize SA..:

Martín-Mateos, Francisco -Jesús ; Alonso, José -Antonio ; Hidalgo, María -José.
Journal of Automated Reasoning. 32 (2004) 4 - p. 287-313 , 2004

Link: https://doi.org/10.1007/..

6

Formal Correctness of a Quadratic Unification Algorithm:

Ruiz-Reina, José-Luis ; Martín-Mateos, Francisco-Jesús ; Alonso, José-Antonio.
Journal of Automated Reasoning. 37 (2006) 1-2 - p. 67-92 , 2006

Link: https://doi.org/10.1007/..

7

Towards a verifiable topology of data:

Lambán Pardo, Laureano ; Martín Mateos, Francisco Jesús ; Rubio, Julio.
EACA 2016: XV Encuentro de álgebra computacional y aplicaciones (2016), pp. 113-116.. , 2021

Link: https://idus.us.es/handl..

8

A Theory About First-Order Terms in ACL2:

Ruiz Reina, José Luis ; Alonso Jiménez, José Antonio ; Hidalgo Doblado, María José.
ACL2 2002: Third International Workshop on the ACL2 Theorem Prover and Its Applications (2002).. , 2021

Link: https://idus.us.es/handl..

9

Progress Report: Term Dags Using Stobjs:

Ruiz Reina, José Luis ; Alonso Jiménez, José Antonio ; Hidalgo Doblado, María José.
ACL2 2002: Third International Workshop on the ACL2 Theorem Prover and Its Applications (2002).. , 2021

Link: https://idus.us.es/handl..

10

Sensorización y control de un proceso de mecanizado utiliza..:

Serrano Bello, Rafael ; González Valencia, Luis Carlos ; Martín Mateos, Francisco Jesús
XIV Congreso Internacional de Proyectos de Ingeniería (2010), pp. 2088-2100.. , 2021

Link: https://idus.us.es/handl..

11

A Generic Instantiation Tool and a Case Study: A Generic Mu..:

Martín Mateos, Francisco Jesús ; Alonso Jiménez, José Antonio ; Hidalgo Doblado, María José.
ACL2 2002: Third International Workshop on the ACL2 Theorem Prover and Its Applications (2002).. , 2021

Link: https://idus.us.es/handl..

12

Topología simplicial en ACL2:

Lambán Pardo, Laureano ; Martín Mateos, Francisco Jesús ; Ruiz Reina, José Luis...
Contribuciones científicas en honor de Mirian Andrés Gómez. , 2021

Link: https://idus.us.es/handl..

13

Multiset Relations: A Tool for Proving Termination:

Ruiz Reina, José Luis ; Alonso Jiménez, José Antonio ; Hidalgo Doblado, María José.
ACL2 Workshop 2000 (2000).. , 2021

Link: https://idus.us.es/handl..

14

Certified Symbolic Manipulation: Bivariate Simplicial Polyn..:

Lambán Pardo, Laureano ; Martín Mateos, Francisco Jesús ; Rubio, Julio.
ISAAC'13: 38th International Symposium on Symbolic and Algebraic Computation (2013), p 243-250. , 2019

Link: https://idus.us.es/xmlui..

15

Formalization of a normalization theorem in simplicial topo..:

Lambán Pardo, Laureano ; Martín Mateos, Francisco Jesús ; Rubio, Julio.
Annals of Mathematics and Artificial Intelligence, 64 (1), 1-37.. , 2019

Link: https://idus.us.es/xmlui..