Concepedia

Author

J. W. Coleman

Newcastle University

Also Known As

J. W. Coleman, J. Walter Coleman

3

Publications

83

Citations

2

H-Index

11

Concepts

All Affiliations

Newcastle University
JW

About

J. W. Coleman is an author at Newcastle University specializing in verification, proof complexity, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

78

2

Computer Science

1

1

78

3

Mathematical Foundations

1

1

78

4

Theory Of Computing

1

1

78

5

Automated Reasoning

1

1

78

J. W. Coleman

×

1

Publications

78

Citations

1

H-Index

YearCitations

Page 1