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="Davis, Martin"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Mathematical logic and the origin of modern computers
Martin Davis
Computerkultur
2
, 1995, pp. 135-158
A distributed hardware barrier in an optical bus-based distributed shared memory multiprocessor
Martin H., Jr. Davis
,
Umakishore Ramachandran
Proceedings of the 1992 International Conference on Parallel Processing. Vol.~I Architecture, ICPP'92 (University of Michigan, Michigan, August 17-21, 1992)
, 1992, pp. 228-231
A Formal Notion of Program-Based Test Data Adequacy
Martin D. Davis
,
Elaine J. Weyuker
Information and Control
56
(1/2), 1983, pp. 52-71
Why Gödel Didn't Have Church's Thesis
Martin Davis
Information and Control
54
(1/2), 1982, pp. 3-24
Hilbert's tenth problem - Diophantine equations: Positive aspects of a negative solution
Martin Davis
,
Yuri Matijasevic̆
,
Julia Robinson
Proceedings of Symposia in Pure Mathematics of the American Mathematical Society
28
, 1976, pp. 323-378
Hilbert's tenth problem is unsolvable
Martin Davis
misc, 1973, March, pp. 233-269
A computing procedure for quantification theory
Martin Davis
,
Hilary Putnam
Journal of the ACM
7
, 1960, pp. 201-215