Czeslaw Bylinski

According to our database, Czeslaw Bylinski authored at least 6 papers between 2004 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Syntactic-Semantic Form of Mizar Articles.

Czeslaw Bylinski, Artur Kornilowicz, Adam Naumowicz

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2018

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar.

Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak

J. Autom. Reason., 2018

2015

Mizar: State-of-the-art and Beyond.

Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, Josef Urban

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

2012

Morphology for Image Processing. Part I.

Hiroshi Yamazaki, Czeslaw Bylinski, Katsumi Wasaki

Formaliz. Math., 2012

New Developments in Parsing Mizar.

Czeslaw Bylinski, Jesse Alama

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2004

Improving Mizar Texts with Properties and Requirements.

Adam Naumowicz, Czeslaw Bylinski

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004