Concepedia

José Miguel Cleva

JM

Statistics

Publications

3

Citations

50

H-Index

3

Active since

2004

Affiliations

Universidad Complutense de Madrid(Current)

José Miguel Cleva is an author at Universidad Complutense de Madrid specializing in equational logic, automated reasoning, and logic program verification.

ORCID

Publications per year

2004–2023

3

Publications

3