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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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