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

Volume 21; Issue 4

Journal of the ACM

Volume 21; Issue 4
1

Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity

Slagle, James R.
Journal:
Journal of the ACM
Année:
1974
Langue:
english
Fichier:
PDF, 1.49 MB
english, 1974
2

An Optimal Algorithm to Detect a Line Graph and Output Its Root Graph

Lehot, Philippe G. H.
Journal:
Journal of the ACM
Année:
1974
Langue:
english
Fichier:
PDF, 429 KB
english, 1974
3

A Search Procedure for Hamilton Paths and Circuits

Rubin, Frank
Journal:
Journal of the ACM
Année:
1974
Langue:
english
Fichier:
PDF, 253 KB
english, 1974
4

Optimal Order of One-Point and Multipoint Iteration

Kung, H. T., Traub, J. F.
Journal:
Journal of the ACM
Année:
1974
Langue:
english
Fichier:
PDF, 495 KB
english, 1974
5

Efficient Planarity Testing

Hopcroft, John, Tarjan, Robert
Journal:
Journal of the ACM
Année:
1974
Langue:
english
Fichier:
PDF, 1.26 MB
english, 1974
6

An Analysis of Some Relationships Between Post and Boolean Algebras

Wojcik, Anthony S., Metze, Gernot
Journal:
Journal of the ACM
Année:
1974
Langue:
english
Fichier:
PDF, 932 KB
english, 1974
7

Unit Refutations and Horn Sets

Henschen, L., Wos, L.
Journal:
Journal of the ACM
Année:
1974
Langue:
english
Fichier:
PDF, 1.18 MB
english, 1974
8

A Human Oriented Logic for Automatic Theorem-Proving

Nevins, Arthur J.
Journal:
Journal of the ACM
Année:
1974
Langue:
english
Fichier:
PDF, 1.20 MB
english, 1974
9

On the Parsing of Deterministic Languages

Havel, Ivan M., Harrison, Michael A.
Journal:
Journal of the ACM
Année:
1974
Langue:
english
Fichier:
PDF, 1.57 MB
english, 1974
10

Linear Least Squares by Elimination and MGS

Plemmons, Robert J.
Journal:
Journal of the ACM
Année:
1974
Langue:
english
Fichier:
PDF, 313 KB
english, 1974
11

Allocating Storage for Extendible Arrays

Rosenberg, Arnold L.
Journal:
Journal of the ACM
Année:
1974
Langue:
english
Fichier:
PDF, 1.32 MB
english, 1974
12

The Undecidability of the Existence of Zeros of Real Elementary Functions

Wang, Paul S.
Journal:
Journal of the ACM
Année:
1974
Langue:
english
Fichier:
PDF, 221 KB
english, 1974
13

Testing for the Church-Rosser Property

Sethi, Ravi
Journal:
Journal of the ACM
Année:
1974
Langue:
english
Fichier:
PDF, 563 KB
english, 1974