Concepedia

Author

Richard L. Tenney

Also Known As

R.L. Tenney, Richard L Tenney, Richard L. Tenney

18

Publications

366

Citations

8

H-Index

23

Concepts

All Affiliations

RL

About

Richard L. Tenney is an author at Université de Montréal specializing in formal methods, formal verification, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

254

2

Computer Science

3

3

254

3

Systems Engineering

1

1

139

4

Combinatorial Optimization

1

1

71

5

Knowledge Representation

1

1

139

Richard L. Tenney

×

5

Publications

284

Citations

5

H-Index

YearCitations

Page 1