Zbigniew Zwinogrodzki

According to our database¹, Zbigniew Zwinogrodzki authored at least 2 papers between 1974 and 1976.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

1976

Equivalence and Optimization of Recursive Program Schemata.

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1974

Statistical methods for comparing theorem proving algorithms.

[DOI]

Kybernetika, 1974