Wojciech Moczydlowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2006–2009
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | LFCS | Unifying Sets and Programs via Dependent Types. | Wojciech Moczydlowski |
| 2007 | LFCS | Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus. | Robert L. Constable, Wojciech Moczydlowski |
| 2007 | LICS | A Dependent Set Theory. | Wojciech Moczydlowski |
| 2006 | CADE | Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics. | Robert L. Constable, Wojciech Moczydlowski |
| 2006 | CSL | Normalization of IZF with Replacement. | Wojciech Moczydlowski |