Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Volume 38; Issue 3

Main
Journal of the ACM
Volume 38; Issue 3

Journal of the ACM

Volume 38; Issue 3

1

Proving refutational completeness of theorem-proving strategies: the transfinite semantic tree method

Hsiang, Jieh, Rusinowitch, Michaël

Journal:

Journal of the ACM

Année:

1991

Langue:

english

Fichier:

PDF, 1.83 MB

english, 1991

2

Abstraction in query processing

Imielinski, Tomasz

Journal:

Journal of the ACM

Année:

1991

Langue:

english

Fichier:

PDF, 1.66 MB

english, 1991

3

Complexity classes defined by counting quantifiers

Journal:

Journal of the ACM

Année:

1991

Langue:

english

Fichier:

PDF, 1.25 MB

english, 1991

4

Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems

Goldreich, Oded, Micali, Silvio, Wigderson, Avi

Journal:

Journal of the ACM

Année:

1991

Langue:

english

Fichier:

PDF, 2.90 MB

english, 1991

5

Optimal load balancing and scheduling in a distributed computer system

Ross, Keith W., Yao, David D.

Journal:

Journal of the ACM

Année:

1991

Langue:

english

Fichier:

PDF, 915 KB

english, 1991

6

Autoepistemic logic

Marek, Wiktor, Truszczyński, Mirosław

Journal:

Journal of the ACM

Année:

1991

Langue:

english

Fichier:

PDF, 2.17 MB

english, 1991

7

The well-founded semantics for general logic programs

Van Gelder, Allen, Ross, Kenneth A., Schlipf, John S.

Journal:

Journal of the ACM

Année:

1991

Langue:

english

Fichier:

PDF, 2.01 MB

english, 1991

8

An optimal parallel algorithm for the visibility of a simple polygon from a point

Atallah, Mikhail J., Wagener, Hubert, Chen, Danny Z.

Journal:

Journal of the ACM

Année:

1991

Langue:

english

Fichier:

PDF, 1.31 MB

english, 1991

9

Stability and stabilizability of discrete event dynamic systems

Özveren, Cüneyt M., Willsky, Alan S., Antsaklis, Panos J.

Journal:

Journal of the ACM

Année:

1991

Langue:

english

Fichier:

PDF, 1.35 MB

english, 1991

10

Two-way string-matching

Crochemore, Maxime, Perrin, Dominique

Journal:

Journal of the ACM

Année:

1991

Langue:

english

Fichier:

PDF, 1.38 MB

english, 1991