Login / Signup
Lukasz Lachowski
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 2
Top Topics
Lambda Calculus
Database Query Languages
High Computational Complexity
High Level
Top Venues
CoRR
Reports Math. Log.
</>
Publications
</>
Lukasz Lachowski
Complexity of the quorum intersection property of the Federated Byzantine Agreement System.
CoRR
(2019)
Lukasz Lachowski
On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic.
Reports Math. Log.
53 (2018)