William Richard Stark

Available identifiers

zbMath Open stark.william-richardMaRDI QIDQ1138082

List of research outcomes

Publication	Date of Publication	Type
Random choice in amorphous processes	2019-07-08	Paper
Amorphous computing: examples, mathematics and theory	2016-04-21	Paper
On the complexity of deadlock-free programs on a ring of processors	1993-01-17	Paper
A Logic For Distributed Processes	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3821967	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3818852	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3761708	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3219108	1984-01-01	Paper
A glimpse into the paradise of combinatory algebra	1984-01-01	Paper
Homeostasis in synchronous distributed computation, a formal view	1983-01-01	Paper
A Logic of Knowledge	1981-01-01	Paper
Automatic model construction	1980-01-01	Paper
Martin's axiom in the model theory of LA	1980-01-01	Paper
A measure of subgroup diversity	1979-01-01	Paper
A Forcing Approach to Strict‐II11 Reflection and Strict‐II11 = ∑01	1978-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: William Richard Stark