Lukasz Czajka
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2010–2022
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | FSCD | Restricting Tree Grammars with Term Rewriting. | Jan Bessai, Lukasz Czajka, Felix Laarmann, Jakob Rehof |
| 2020 | CADE | Practical Proof Search for Coq by Type Inhabitation. | Lukasz Czajka |
| 2019 | ITP | First-Order Guarded Coinduction in Coq. | Lukasz Czajka |
| 2016 | CPP | Improving automation in interactive theorem provers by efficient encoding of lambda-abstractions. | Lukasz Czajka |
| 2013 | FOSSACS | Partiality and Recursion in Higher-Order Logic. | Lukasz Czajka |
| 2011 | CSL | A Semantic Approach to Illative Combinatory Logic. | Lukasz Czajka |
| 2010 | ICCVG | A Constraint Satisfaction Framework with Bayesian Inference for Model-Based Object Recognition. | Wlodzimierz Kasprzak, Lukasz Czajka, Artur Wilkowski |