Wojciech Moczydłowski

Available identifiers

zbMath Open moczydlowski.wojciechMaRDI QIDQ408533

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3188047	2016-08-16	Paper
Unifying sets and programs via dependent types	2012-04-10	Paper
Extracting the resolution algorithm from a completeness proof for the propositional calculus	2011-08-26	Paper
Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics	2009-03-12	Paper
Normalization of IZF with Replacement	2009-03-12	Paper
Unifying Sets and Programs via Dependent Types	2009-02-24	Paper
Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics	2008-11-13	Paper
Normalization of IZF with Replacement	2008-08-07	Paper
Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus	2008-01-04	Paper
A Normalizing Intuitionistic Set Theory with Inaccessible Sets	2007-11-15	Paper
Term Rewriting and Applications	2005-11-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Wojciech Moczydłowski