Concepedia

Author

M. Bichler

TU Wien

Also Known As

Bichler, Manuel, M. Bichler, MANUEL BICHLER, Manuel Bichler

14

Publications

140

Citations

5

H-Index

9

Concepts

All Affiliations

TU WienUniversity of Vienna
MB

About

M. Bichler is an author at TU Wien specializing in automated reasoning, logic programming, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

13

2

Computer Science

1

1

13

3

Answer Set Programming

1

1

13

4

Automated Reasoning

1

1

13

5

Formal Methods

1

1

13

M. Bichler

×

3

Publications

80

Citations

3

H-Index

YearCitations

Page 1