Zbigniew Zwinogrodzki

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1976
Equivalence and Optimization of Recursive Program Schemata.
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1974
Statistical methods for comparing theorem proving algorithms.
Kybernetika, 1974


  Loading...