We don’t have enough information about this author to calculate their statistics.
If you think this is an error
let us know.
Sorry, we do not have enough data to show an influence graph for this author.
Highly Influential Citations
A Logical Basis for Programming Methodology
Theor. Comput. Sci.