Concepedia

Author

Kenneth H. Leider

Duke University

Also Known As

Kenneth H. Leider

2

Publications

71

Citations

2

H-Index

14

Concepts

All Affiliations

Duke University
KH

About

Kenneth H. Leider is an author at Duke University specializing in automated reasoning, formal verification, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

17

2

Language Studies

1

1

17

3

Computer Science

1

1

17

4

Linguistics

1

1

17

5

Computational Linguistics

1

1

17

Kenneth H. Leider

×

2

Publications

71

Citations

2

H-Index

YearCitations

Page 1