S. C. van Westrhenen

Available identifiers

zbMath Open van-westrhenen.s-cMaRDI QIDQ1168086

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3992696	1992-09-17	Paper
Parallel language recognition in constant time by cellular automata	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3933790	1981-01-01	Paper
Statistical Studies of Theoremhood in Classical Propositional and First Order Predicate Calculus	1972-01-01	Paper
A probabilistic machine for the estimation of provability in the first order predicate calculus	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5588608	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5588609	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5588610	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5588639	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5588698	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5588699	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5588700	1968-01-01	Paper

Research outcomes over time

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