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

This page was built for person: William Richard Stark