We stand with Ukraine  

Wojciech Moczydlowski

According to our database1, Wojciech Moczydlowski authored at least 8 papers between 2005 and 2012.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Unifying sets and programs via dependent types.
[BibTeX]
[DOI]
Wojciech Moczydlowski
Ann. Pure Appl. Log., 2012

2009
Extracting the resolution algorithm from a completeness proof for the propositional calculus.
[BibTeX]
[DOI]
Robert L. Constable
,
Wojciech Moczydlowski
Ann. Pure Appl. Log., 2009

2008
Normalization of IZF with Replacement.
[BibTeX]
[DOI]
Wojciech Moczydlowski
Log. Methods Comput. Sci., 2008

Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics.
[BibTeX]
[DOI]
Robert L. Constable
,
Wojciech Moczydlowski
Log. Methods Comput. Sci., 2008

2007
Investigations on Sets and Types.
[BibTeX]
Wojciech Moczydlowski
PhD thesis, 2007

A Normalizing Intuitionistic Set Theory with Inaccessible Sets.
[BibTeX]
[DOI]
Wojciech Moczydlowski
Log. Methods Comput. Sci., 2007

A Dependent Set Theory.
[BibTeX]
[DOI]
Wojciech Moczydlowski
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

2005
Termination of Single-Threaded One-Rule Semi-Thue Systems.
[BibTeX]
[DOI]
Wojciech Moczydlowski
,
Alfons Geser
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005


  Loading...