Concepedia

Author

R. G. Cain

IBM (United States)

Also Known As

R. G. Cain

1

Publications

347

Citations

1

H-Index

7

Concepts

All Affiliations

IBM (United States)
RG

About

R. G. Cain is an author at IBM (United States) specializing in formal verification, logic programming, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

347

2

Computer Science

1

1

347

3

Automated Reasoning

1

1

347

4

Computational Complexity

1

1

347

5

Formal Methods

1

1

347

R. G. Cain

×

1

Publications

347

Citations

1

H-Index

YearCitations

Page 1