Search ACM DL

Search Issue

enter search term and/or author name

**On the Parsing of Deterministic Languages**

Ivan M. Havel, Michael A. Harrison

Pages: 525-548

DOI: 10.1145/321850.321851

**Efficient Planarity Testing**

John Hopcroft, Robert Tarjan

Pages: 549-568

DOI: 10.1145/321850.321852

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

Philippe G. H. Lehot

Pages: 569-575

DOI: 10.1145/321850.321853

**A Search Procedure for Hamilton Paths and Circuits**

Frank Rubin

Pages: 576-580

DOI: 10.1145/321850.321854

**Linear Least Squares by Elimination and MGS**

Robert J. Plemmons

Pages: 581-585

DOI: 10.1145/321850.321855

**The Undecidability of the Existence of Zeros of Real Elementary Functions**

Paul S. Wang

Pages: 586-589

DOI: 10.1145/321850.321856

**Unit Refutations and Horn Sets**

L. Henschen, L. Wos

Pages: 590-605

DOI: 10.1145/321850.321857

**A Human Oriented Logic for Automatic Theorem-Proving**

Arthur J. Nevins

Pages: 606-621

DOI: 10.1145/321850.321858

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

James R. Slagle

Pages: 622-642

DOI: 10.1145/321850.321859

**Optimal Order of One-Point and Multipoint Iteration**

H. T. Kung, J. F. Traub

Pages: 643-651

DOI: 10.1145/321850.321860

**Allocating Storage for Extendible Arrays**

Arnold L. Rosenberg

Pages: 652-670

DOI: 10.1145/321850.321861

**Testing for the Church-Rosser Property**

Ravi Sethi

Pages: 671-679

DOI: 10.1145/321850.321862

**An Analysis of Some Relationships Between Post and Boolean Algebras**

Anthony S. Wojcik, Gernot Metze

Pages: 680-696

DOI: 10.1145/321850.321863