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="Pratt, V."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The continuum as a final coalgebra
D. Pavlović
,
V. Pratt
Theoretical Computer Science
280
(1-2), 2002, pp. 105-122
A decidable mu-calculus: Preliminary report
V.R. Pratt
Proceedings of the 22nd Annual IEEE Symposium on Foundations of Computer Science, FOCS'81 (Nashville, TN, October 28-30, 1981)
, 1981, pp. 421-427
Linear algorithm for data compression via string matching
M. Rodeh
,
V.R. Pratt
,
S. Even
Journal of the ACM
28
(1), 1981, pp. 16-24
A near-optimal method for reasoning about action
V.R. Pratt
Journal of Computer and System Sciences
20
(2), 1980, April, pp. 231-254
Dynamic algebras and the nature of induction
V.R. Pratt
Proceedings of the 12th Annual ACM Symposium on Theory of Computing, STOC'80 (Los Angeles, CA, April 28-30, 1980)
, 1980, pp. 22-28
Models of program logics
V.R. Pratt
Proceedings of the 20th Annual IEEE Symposium on Foundations of Computer Science, FOCS'79 (San Juan, PR, October 29-31, 1979)
, 1979, pp. 115-122
A practical decision method for propositional dynamic logic
V.R. Pratt
Proceedings of the 10th Annual ACM Symposium on Theory of Computing, STOC'78 (San Diego, CA, May 1-3, 1978)
, 1978, pp. 326-337
Computability and completeness in logics of programs
D. Harel
,
A.R. Meyer
,
V.R. Pratt
Proceedings of the 9th Annual ACM Symposium on Theory of Computing, STOC'77 (Boulder, CO, May 2-4, 1977)
, 1977, pp. 261-268
Computability and completeness in logics of programs
D. Harel
,
A. Meyer
,
V. Pratt
misc, 1977
Fast pattern matching in strings
D.E. Knuth
,
J.H. Morris
,
V.R. Pratt
SIAM Journal on Computing
6
(2), 1977, June, pp. 323-350
Semantical considerations on Floyd-Hoare logic
V.R. Pratt
Proceedings of the 17th Annual IEEE Symposium on Foundations of Computer Science, FOCS'76 (Houston, TX, October 25-27, 1976)
, 1976, pp. 109-121
The mutual exclusion problem for unreliable processes
R.L. Rivest
,
V.R. Pratt
Proceedings of the 17th Annual IEEE Symposium on Foundations of Computer Science, FOCS'76 (Houston, TX, October 25-27, 1976)
, 1976, pp. 1-8
A characterization of the power of vector machines
V.R. Pratt
,
M. Rabin
,
L.J. Stockmeyer
Proceedings of the 6th Annual ACM Symposium on Theory of Computing, STOC'74 (Seattle, WA, April 30 - May 2, 1974)
, 1974, pp. 122-134
The power of negative thinking in multiplying boolean matrices
V. Pratt
Proceedings of the 6th Annual ACM Symposium on Theory of Computing, STOC'74 (Seattle, WA, April 30 - May 2, 1974)
, 1974, pp. 80-83
Time bounds for selection
M. Blum
,
R.W. Floyd
,
V.R. Pratt
,
R.L. Rivest
,
R.E. Tarjan
Journal of Computer and System Sciences
7
, 1973, pp. 448-461
Computing permutations with double-ended queues, parallel stacks, and parallel queues
V. Pratt
Proceedings of the 5th Annual ACM Symposium on Theory of Computing, STOC'73 (Austin, TX, April 30 - May 2, 1973)
, 1973, pp. 268-277
Linear time bounds for median computations
M. Blum
,
R.W. Floyd
,
V. Pratt
,
R.L. Rivest
,
R.E. Tarjan
Proceedings of the 4th Annual ACM Symposium on Theory of Computing, STOC'72 (Denver, CO, May 1-3, 1972)
, 1972, pp. 119-124