Wojciech Moczydłowski

From MaRDI portal
Person:408533

Available identifiers

zbMath Open moczydlowski.wojciechMaRDI QIDQ408533

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q31880472016-08-16Paper
Unifying sets and programs via dependent types2012-04-10Paper
Extracting the resolution algorithm from a completeness proof for the propositional calculus2011-08-26Paper
Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics2009-03-12Paper
Normalization of IZF with Replacement2009-03-12Paper
Unifying Sets and Programs via Dependent Types2009-02-24Paper
Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics2008-11-13Paper
Normalization of IZF with Replacement2008-08-07Paper
Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus2008-01-04Paper
A Normalizing Intuitionistic Set Theory with Inaccessible Sets2007-11-15Paper
Term Rewriting and Applications2005-11-11Paper

Research outcomes over time

This page was built for person: Wojciech Moczydłowski

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:408533&oldid=7602723"
Powered by MediaWiki