Concepedia

Author

Martin Hyland

Also Known As

Hyland, M, Hyland, Martin, M. Hyland, MARTIN HYLAND, Martin Hyland

44

Publications

1.7K

Citations

23

H-Index

25

Concepts

All Affiliations

MH

About

Martin Hyland is an author at University of Cambridge specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

10

10

569

2

Computer Science

6

6

245

3

Business

2

2

73

4

Behavioral Sciences

1

1

54

5

Combinatorial Optimization

1

1

54

Martin Hyland

×

21

Publications

1.2K

Citations

19

H-Index

YearCitations

Page 1