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="Lehmann, Daniel J."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On primality tests
Daniel J. Lehmann
SIAM Journal on Computing
11
(2), 1982, May, pp. 374-375
Algebraic specification of data types: A synthetic approach
Daniel J. Lehmann
,
Michael B. Smyth
Math. Systems Theory
14
, 1981, pp. 97-139