Concepedia

Author

H. Zhang

Also Known As

H. Zhang

1

Publications

191

Citations

1

H-Index

6

Concepts

HZ

About

H. Zhang is an author specializing in formal methods, verification, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

191

2

Computer Science

1

1

191

3

Automated Reasoning

1

1

191

4

Formal Methods

1

1

191

5

Formal Verification

1

1

191

H. Zhang

×

1

Publications

191

Citations

1

H-Index

YearCitations

An Efficient Propositional Prover

H. Zhang

Medical Entomology and Zoology

1997

191

Page 1