Concepedia

Author

R. Szelepcsényi

V.M. Koretsky Institute of State and Law

Also Known As

R. Szelepcsényi, R�bert Szelepcs�nyi

1

Publications

381

Citations

1

H-Index

6

Concepts

All Affiliations

V.M. Koretsky Institute of State and Law
RS

About

R. Szelepcsényi is an author at V.M. Koretsky Institute of State and Law specializing in computational complexity, formal verification, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

381

2

Computer Science

1

1

381

3

Automated Reasoning

1

1

381

4

Computational Complexity

1

1

381

5

Formal Methods

1

1

381

R. Szelepcsényi

×

1

Publications

381

Citations

1

H-Index

YearCitations

Page 1