Marcus Kracht
About
Marcus Kracht has authored 35 papers that have received a total of 375 indexed citations.
This includes 28 papers in Artificial Intelligence, 22 papers in Computational Theory and Mathematics and 7 papers in Language and Linguistics. The topics of these papers are Logic, Reasoning, and Knowledge (19 papers), Advanced Algebra and Logic (19 papers) and Logic, programming, and type systems (12 papers). Marcus Kracht is often cited by papers focused on Logic, Reasoning, and Knowledge (19 papers), Advanced Algebra and Logic (19 papers) and Logic, programming, and type systems (12 papers) and collaborates with scholars based in Germany, United States and Japan. Marcus Kracht's co-authors include Frank Wolter, András Kornai and Tomasz Kowalski and has published in prestigious journals such as Theoretical Computer Science, Journal of Symbolic Logic and Linguistics and Philosophy
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Antti Rajala are published in Top authors papers by Johannes Goldberg are co-authored with Top fields papers by Danuta Gąsior‐Perczak are about Top journals papers by T. Alexander Aleinikoff are published in Top authors papers by Chengsong Zhang are co-authored with Top fields papers by Mohamed Roushdy are about Top fields papers by Yiqing Wei are about Top fields papers by Benjamin Rifkin are about