Martı́n Hötzel Escardó

Author

Also Known As

Bezem, Marc, Coquand, Thierry, Escard\'o, Mart\'in H\"otzel, Escardo, Martin, Escardo, Martin H., Escardó, Martin, Escardó, Martín, Escardó, Martín H., Escardó, Martín Hötzel, Hötzel Escardó, Martín

105

Publications

1.5K

Citations

H-Index

Concepts

All Affiliations

University of Edinburgh University of Birmingham Imperial College London Darmstadt University of Applied Sciences

About

Martı́n Hötzel Escardó is an author at University of Edinburgh specializing in engineering, computer science, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	255
2	Computer Science	8	8	255
3	Education	1	1	49
4	Language Studies	1	1	39
5	Linguistics	1	1	39

Martı́n Hötzel Escardó

Publications

731

Citations

H-Index

Page 1

	Year	Citations

Page 1