José M. Estebaranz

JM

Statistics

Publications

1

Citations

32

H-Index

1

Active since

2005

Affiliations

José M. Estebaranz is an author at Universidad de Sevilla specializing in spectral theorem, theorem proving, and recursion theory.

Publications per year

2005–2005

1

Publications

1