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
[1]
Hilfe
Suche: Journal=J. ACM AND YEAR=2002
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Alternating-time temporal logic
Rajeev Alur
,
Thomas A. Henzinger
,
Orna Kupferman
Journal of the ACM
49
(5), 2002, pp. 672-713
Query evaluation via tree-decompositions
Jörg Flum
,
Markus Frick
,
Martin Grohe
Journal of the ACM
49
(6), 2002, pp. 716-752
Cosmological lower bound on the circuit complexity of a small problem in logic
Larry Stockmeyer
,
Albert R. Meyer
Journal of the ACM
49
(6), 2002, pp. 753-784
Correctness properties in a shared-memory parallel language
Gilbert Caplain
Journal of the ACM
49
(6), 2002, pp. 785-827
Towards a theory of cache-efficient algorithms
Sandeep Sen
,
Siddhartha Chatterjee
,
Neeraj Dumir
Journal of the ACM
49
(6), 2002, pp. 828-858
Seiten
<
1
2