Wojciech Moczydłowski

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 6617274 (Why is no real title available?) (available as arXiv preprint)	2016-08-16	Paper
scientific article; zbMATH DE number 6617274 (Why is no real title available?)	2016-08-16	Paper
Unifying sets and programs via dependent types Annals of Pure and Applied Logic	2012-04-10	Paper
Extracting the resolution algorithm from a completeness proof for the propositional calculus Annals of Pure and Applied Logic	2011-08-26	Paper
Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics Automated Reasoning	2009-03-12	Paper
Normalization of IZF with Replacement Computer Science Logic	2009-03-12	Paper
Unifying Sets and Programs via Dependent Types Logical Foundations of Computer Science	2009-02-24	Paper
Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics Logical Methods in Computer Science	2008-11-13	Paper
Normalization of IZF with Replacement Logical Methods in Computer Science	2008-08-07	Paper
Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus Logical Foundations of Computer Science	2008-01-04	Paper
A Normalizing Intuitionistic Set Theory with Inaccessible Sets Logical Methods in Computer Science	2007-11-15	Paper
Term Rewriting and Applications Lecture Notes in Computer Science	2005-11-11	Paper

Research outcomes over time

This page was built for person: Wojciech Moczydłowski