Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Benson, D.B."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Algebraic solutions to recursion schemes
D.B. Benson
,
I. Guessarian
Journal of Computer and System Sciences
35
(3), 1987, December, pp. 365-400
Free semiring-representations and nondeterminism
M.G. Main
,
D.B. Benson
Journal of Computer and System Sciences
30
(3), 1985, June, pp. 318-328
Functional behavior of nondeterministic and concurrent programs
M.G. Main
,
D.B. Benson
Information and Control
62
(2-3), 1984, pp. 144-189
Deterministic and nondeterministic flowchart interpretations
R.J. Lorentz
,
D.B. Benson
Journal of Computer and System Sciences
27
(3), 1983, December, pp. 400-433
Free upper regular bands (Note)
M.G. Main
,
D.B. Benson
Theoretical Computer Science
16
, 1981, pp. 93-98
Parameter passing in nondeterministic recursive programs
D.B. Benson
Journal of Computer and System Sciences
19
(1), 1979, August, pp. 50-62
Some preservation properties of normal form grammars
D.B. Benson
SIAM Journal on Computing
6
(2), 1977, June, pp. 381-402