S. C. van Westrhenen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 43004 (Why is no real title available?)	1992-09-17	Paper
Parallel language recognition in constant time by cellular automata Acta Informatica	1983-01-01	Paper
scientific article; zbMATH DE number 3750342 (Why is no real title available?)	1981-01-01	Paper
Statistical Studies of Theoremhood in Classical Propositional and First Order Predicate Calculus Journal of the ACM	1972-01-01	Paper
A probabilistic machine for the estimation of provability in the first order predicate calculus Mathematical Logic Quarterly	1969-01-01	Paper
scientific article; zbMATH DE number 3307518 (Why is no real title available?)	1968-01-01	Paper
scientific article; zbMATH DE number 3307519 (Why is no real title available?)	1968-01-01	Paper
scientific article; zbMATH DE number 3307520 (Why is no real title available?)	1968-01-01	Paper
scientific article; zbMATH DE number 3307558 (Why is no real title available?)	1968-01-01	Paper
scientific article; zbMATH DE number 3307614 (Why is no real title available?)	1968-01-01	Paper
scientific article; zbMATH DE number 3307615 (Why is no real title available?)	1968-01-01	Paper
scientific article; zbMATH DE number 3307616 (Why is no real title available?)	1968-01-01	Paper

Research outcomes over time

This page was built for person: S. C. van Westrhenen