David B. Benson

Available identifiers

zbMath Open benson.david-bMaRDI QIDQ595764

List of research outcomes

Publication	Date of Publication	Type
Algebras over variable theories.	2005-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4380425	1998-03-17	Paper
Fixed points in free process algebras. II	1990-01-01	Paper
Fixed points in free process algebras. I	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3031144	1989-01-01	Paper
Bisimulation of automata	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3794371	1988-01-01	Paper
Algebraic solutions to recursion schemes	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3782789	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3819970	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3736898	1986-01-01	Paper
Free semiring-representations and nondeterminism	1985-01-01	Paper
Iterative and recursive matrix theories	1984-01-01	Paper
Counting Paths: Nondeterminism as Linear Algebra	1984-01-01	Paper
Functional behavior of nondeterministic and concurrent programs	1984-01-01	Paper
Deterministic and nondeterministic flowchart interpretations	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3666249	1983-01-01	Paper
In Scott-Strachey style denotational semantics, parallelism implies nondeterminism	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3951520	1982-01-01	Paper
Free upper regular bands	1981-01-01	Paper
Parameter passing in nondeterministic recursive programs	1979-01-01	Paper
Some Preservation Properties of Normal Form Grammars	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4128022	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4127416	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4058148	1975-01-01	Paper
The basic algebraic structures in categories of derivations	1975-01-01	Paper
Semantic preserving translations	1975-01-01	Paper
An abstract machine theory for formal language parsers	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4041104	1974-01-01	Paper
Syntax and semantics: A categorical view	1970-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: David B. Benson