Łukasz Czajka

From MaRDI portal
Person:1663239

Available identifiers

zbMath Open czajka.lukaszMaRDI QIDQ1663239

List of research outcomes





PublicationDate of PublicationType
Restricting tree grammars with term rewriting2024-05-27Paper
https://portal.mardi4nfdi.de/entity/Q58754222023-02-03Paper
Practical Proof Search for Coq by Type Inhabitation2022-11-09Paper
https://portal.mardi4nfdi.de/entity/Q50890122022-07-18Paper
https://portal.mardi4nfdi.de/entity/Q49933392021-06-15Paper
https://portal.mardi4nfdi.de/entity/Q51113102020-05-26Paper
https://portal.mardi4nfdi.de/entity/Q51095212020-05-12Paper
https://portal.mardi4nfdi.de/entity/Q52163022020-02-17Paper
Concrete semantics with Coq and CoqHammer2018-10-18Paper
Hammer for Coq: automation for dependent type theory2018-08-21Paper
Confluence of nearly orthogonal infinitary term rewriting systems2017-07-12Paper
On the equivalence of different presentations of Turner's bracket abstraction algorithm2015-10-13Paper
A Coinductive Confluence Proof for Infinitary Lambda-Calculus2014-07-24Paper
Higher-order illative combinatory logic2014-01-07Paper
Partiality and Recursion in Higher-Order Logic2013-03-18Paper
A semantic approach to illative combinatory logic2012-09-18Paper

Research outcomes over time

This page was built for person: Łukasz Czajka

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1663239&oldid=6354020"
Powered by MediaWiki