Concepedia

Author

Markus Junker

Also Known As

Junker, Markus, MARKUS JUNKER, Markus Junker

13

Publications

139

Citations

6

H-Index

4

Concepts

All Affiliations

MJ

About

Markus Junker is an author at University of Freiburg specializing in mathematical foundations, automated reasoning, and syntax.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Comparative Literature

1

1

19

2

Mathematical Foundations

1

1

11

3

Syntax

1

1

48

4

Automated Reasoning

1

1

48

Markus Junker

×

6

Publications

124

Citations

6

H-Index

YearCitations

Page 1