| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 14 |      | Wojciech Moczydlowski: Unifying sets and programs via dependent types. Ann. Pure Appl. Logic 163(7): 789-808 (2012) |
| 2009 | ||
| 13 | | Wojciech Moczydlowski: Unifying Sets and Programs via Dependent Types. LFCS 2009: 365-379 |
| 12 | | Robert L. Constable, Wojciech Moczydlowski: Extracting the resolution algorithm from a completeness proof for the propositional calculus. Ann. Pure Appl. Logic 161(3): 337-348 (2009) |
| 2008 | ||
| 11 | | Robert L. Constable, Wojciech Moczydlowski: Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics CoRR abs/0806.1281: (2008) |
| 10 | | Wojciech Moczydlowski: Normalization of IZF with Replacement. Logical Methods in Computer Science 4(2): (2008) |
| 9 | | Robert L. Constable, Wojciech Moczydlowski: Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Logical Methods in Computer Science 4(3): (2008) |
| 2007 | ||
| 8 | | Robert L. Constable, Wojciech Moczydlowski: Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus. LFCS 2007: 147-161 |
| 7 | | Wojciech Moczydlowski: A Dependent Set Theory. LICS 2007: 23-34 |
| 6 | | Wojciech Moczydlowski: A Normalizing Intuitionistic Set Theory with Inaccessible Sets CoRR abs/0707.1981: (2007) |
| 5 | | Wojciech Moczydlowski: Normalization of IZF with Replacement CoRR abs/0711.2546: (2007) |
| 4 | | Wojciech Moczydlowski: A Normalizing Intuitionistic Set Theory with Inaccessible Sets. Logical Methods in Computer Science 3(3): (2007) |
| 2006 | ||
| 3 | | Wojciech Moczydlowski: Normalization of IZF with Replacement. CSL 2006: 516-530 |
| 2 | | Robert L. Constable, Wojciech Moczydlowski: Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics. IJCAR 2006: 162-176 |
| 2005 | ||
| 1 | | Wojciech Moczydlowski, Alfons Geser: Termination of Single-Threaded One-Rule Semi-Thue Systems. RTA 2005: 338-352 |
| 1 | Robert L. Constable | [2] [8] [9] [11] [12] |
| 2 | Alfons Geser | [1] |
Colors in the list of coauthors
Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page