S. Christian van Westrhenen
According to our database1,
S. Christian van Westrhenen
authored at least 4 papers
between 1972 and 1988.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1988
The theory of computability - programs, machines, effectiveness and feasibility.
International computer science series, Addison-Wesley, ISBN: 978-0-201-14214-3, 1988
1986
Inf. Process. Lett., 1986
1983
Acta Informatica, 1983
1972
Statistical Studies of Theoremhood in Classical Propositional and First Order Predicate Calculus.
J. ACM, 1972