Concepedia

Marcus Kracht

MK

Statistics

Publications

25

Citations

1K

H-Index

17

Active since

1990

Affiliations

Freie Universität Berlin(Current)

Berlin Mathematical School

Japan Advanced Institute of Science and Technology

Marcus Kracht is an author at Freie Universität Berlin specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringLanguageFormal MethodsSyntaxSemanticsLinguisticsGrammarComputer ScienceComputational Linguistics

Publications per year

1990–2014

25

Publications

25

Rows per page

1–5 of 25