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="Paull, Marvin"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Proving relative lower bounds for incremental algorithms
A. Michael Berman
,
Marvin C. Paull
,
Barbara G. Ryder
Acta Informatica
27
, 1990, pp. 665-683
Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem
John Franco
,
Marvin Paull
Discrete Applied Mathematics
5
, 1983, pp. 77-87
Minimum comparison merging of sets of approximately equal size
Paul E. Murphy
,
Marvin C. Paull
Information and Control
42
, 1979, pp. 87-96
Structural equivalence of context-free grammars
Marvin C. Paull
,
Stephen H. Unger
Journal of Computer and System Sciences
2
, 1968, pp. 427-463