Benedikt Ahrens
According to our database^{1},
Benedikt Ahrens
authored at least 21 papers
between 2010 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2021
CoRR, 2021
2020
Proc. ACM Program. Lang., 2020
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020
2019
Log. Methods Comput. Sci., 2019
Log. Methods Comput. Sci., 2019
J. Autom. Reason., 2019
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019
2018
Log. Methods Comput. Sci., 2018
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018
2016
Math. Struct. Comput. Sci., 2016
Proceedings of the Mathematical Software  ICMS 2016, 2016
2015
Math. Struct. Comput. Sci., 2015
J. Formaliz. Reason., 2015
Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015
Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015
2014
CoRR, 2014
Proceedings of the 20th International Conference on Types for Proofs and Programs, 2014
2012
Log. Methods Comput. Sci., 2012
2011
J. Formaliz. Reason., 2011
2010
CoRR, 2010