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: Journal=Inf.~Comput. AND Volume=104
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Model-checking in dense real-time
Rajeev Alur
,
Costas Courcoubetis
,
David Dill
Information and Computation
104
(1), 1993, May, pp. 2-34
Real-time logics: Complexity and expressiveness
Rajeev Alur
,
Thomas A. Henzinger
Information and Computation
104
(1), 1993, May, pp. 35-77
Programming in equational logic: Beyond strong sequentiality
R.C. Sekar
,
I.V. Ramakrishnan
Information and Computation
104
(1), 1993, May, pp. 78-109
Modular properties of conditional term rewriting systems
Aart Middeldorp
Information and Computation
104
(1), 1993, May, pp. 110-158
On dice and coins: Models of computation for random generation
David Feldman
,
Russell Impagliazzo
,
Moni Naor
,
Noam Nisan
,
Steven Rudich
,
Adi Shamir
Information and Computation
104
(2), 1993, June, pp. 159-174
Uniform self-stabilizing ring orientation
Amos Israeli
,
Marc Jalfon
Information and Computation
104
(2), 1993, June, pp. 175-196
An optimal algorithm for selection in a min-heap
Greg N. Frederickson
Information and Computation
104
(2), 1993, June, pp. 197-214
Semantics of nondeterministic asynchronous broadcast networks
R.K. Shyamasundar
,
K.T. Narayana
,
T. Pitassi
Information and Computation
104
(2), 1993, June, pp. 215-252
Hierarchies and space measures for pointer machines
David R. Luginbuhl
,
Michael C. Loui
Information and Computation
104
(2), 1993, June, pp. 253-270
A circuit-based proof of Toda's theorem
Ravi Kannan
,
H. Venkateswaran
,
V. Vinay
,
Andrew C. Yao
Information and Computation
104
(2), 1993, June, pp. 271-276
On the power of multiple reads in a chip
Pavol Dúris̑
,
Zvi Galil
Information and Computation
104
(2), 1993, June, pp. 277-287
Using self-reducibilities to characterize polynomial time
Judy Goldsmith
,
Deborah Joseph
,
Paul Young
Information and Computation
104
(2), 1993, June, pp. 288-308