Concepedia

Author

Roland Leisa

Saarland University

Also Known As

Roland Leisa

2

Publications

39

Citations

2

H-Index

15

Concepts

All Affiliations

Saarland University
RL

About

Roland Leisa is an author at Saarland University specializing in automated reasoning, intermediate representations, and discrete mathematics.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Education

1

1

12

2

Engineering

1

1

12

3

Computer Engineering

1

1

12

4

Computer Science

1

1

12

5

Programming Languages

1

1

12

Roland Leisa

×

2

Publications

39

Citations

2

H-Index

YearCitations

Page 1