Search the dblp DataBase

Publications of Author

1. Robert L. Constable, Wojciech Moczydlowski
   Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2006, pp:162-176 [Conf]
   
2. Wojciech Moczydlowski
   Normalization of IZF with Replacement. [Citation Graph (0, 0)][DBLP]
   CSL, 2006, pp:516-530 [Conf]
   
3. Wojciech Moczydlowski, Alfons Geser
   Termination of Single-Threaded One-Rule Semi-Thue Systems. [Citation Graph (0, 0)][DBLP]
   RTA, 2005, pp:338-352 [Conf]
   
4. Robert L. Constable, Wojciech Moczydlowski
   Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus. [Citation Graph (0, 0)][DBLP]
   LFCS, 2007, pp:147-161 [Conf]
   
5. Wojciech Moczydlowski
   A Dependent Set Theory. [Citation Graph (0, 0)][DBLP]
   LICS, 2007, pp:23-34 [Conf]
   
6. Wojciech Moczydlowski
   A Normalizing Intuitionistic Set Theory with Inaccessible Sets [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
7. 
   Unifying Sets and Programs via Dependent Types. [Citation Graph (, )][DBLP]
   
   
8. 
   Extracting the resolution algorithm from a completeness proof for the propositional calculus. [Citation Graph (, )][DBLP]
   
   
9. 
   Normalization of IZF with Replacement [Citation Graph (, )][DBLP]
   
   
10. 
    Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics [Citation Graph (, )][DBLP]