Wojciech Moczydlowski

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Information Systems

Automatic Programming

Artificial Neural Networks

Top Venues

Ann. Pure Appl. Log.

Publications

Wojciech Moczydlowski
Unifying sets and programs via dependent types. Ann. Pure Appl. Log. 163 (7) (2012)
Wojciech Moczydlowski
Unifying Sets and Programs via Dependent Types. LFCS (2009)
Robert L. Constable, Wojciech Moczydlowski
Extracting the resolution algorithm from a completeness proof for the propositional calculus. Ann. Pure Appl. Log. 161 (3) (2009)
Wojciech Moczydlowski
Normalization of IZF with Replacement. Log. Methods Comput. Sci. 4 (2) (2008)
Robert L. Constable, Wojciech Moczydlowski
Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics CoRR (2008)
Robert L. Constable, Wojciech Moczydlowski
Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Log. Methods Comput. Sci. 4 (3) (2008)
Robert L. Constable, Wojciech Moczydlowski
Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus. LFCS (2007)
Wojciech Moczydlowski
A Dependent Set Theory. LICS (2007)
Wojciech Moczydlowski
A Normalizing Intuitionistic Set Theory with Inaccessible Sets CoRR (2007)
Wojciech Moczydlowski
Normalization of IZF with Replacement CoRR (2007)
Wojciech Moczydlowski
A Normalizing Intuitionistic Set Theory with Inaccessible Sets. Log. Methods Comput. Sci. 3 (3) (2007)
Wojciech Moczydlowski
Normalization of IZF with Replacement. CSL (2006)
Robert L. Constable, Wojciech Moczydlowski
Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics. IJCAR (2006)
Wojciech Moczydlowski, Alfons Geser
Termination of Single-Threaded One-Rule Semi-Thue Systems. RTA (2005)