Concepedia

Author

Markus Junker

University of Freiburg

Also Known As

Junker, Markus, MARKUS JUNKER, Markus Junker

13

Publications

139

Citations

6

H-Index

4

Concepts

All Affiliations

University of FreiburgLaboratoire Angevin de Recherche en MathématiquesUniversité d'Angers
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