Lukasz Czajka
Orcid: 0000-0001-8083-4280Affiliations:
- TU Dortmund University, Faculty of Informatics, Germany
- University of Copenhagen, Denmark (2016 - 2018)
- University of Innsbruck, Austria (2015 - 2016)
- University of Warsaw, Poland (PhD 2015)
According to our database1,
Lukasz Czajka
authored at least 22 papers
between 2011 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
1
2
2
2
1
1
1
2
2
1
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on github.com
-
on mimuw.edu.pl
On csauthors.net:
Bibliography
2023
Proc. ACM Program. Lang., 2023
2022
Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022
2020
Log. Methods Comput. Sci., 2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
2019
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
2018
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
2017
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017
2016
Proceedings of the Proceedings First International Workshop on Hammers for Type Theories, 2016
Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016
Improving automation in interactive theorem provers by efficient encoding of lambda-abstractions.
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016
2015
On the equivalence of different presentations of Turner's bracket abstraction algorithm.
CoRR, 2015
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015
2014
Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014
2013
Proceedings of the Foundations of Software Science and Computation Structures, 2013
2011
Proceedings of the Computer Science Logic, 2011