On the decidability and axiomatization of query finiteness in deductive databases

JOURNAL ARTICLE published July 1998 in Journal of the ACM

Authors: Michael Kifer

Errata: `` Record Allocation for Minimizing Expected Retrieval Costs on Drum-Like Storage Devices''

JOURNAL ARTICLE published July 1976 in Journal of the ACM

Authors: R. A. Cody | E. G. Coffman

On Almost Everywhere Complex Recursive Functions

JOURNAL ARTICLE published July 1974 in Journal of the ACM

Authors: John Gill | Manuel Blum

Some a Posteriori Error Bounds in Floating-Point Computations

JOURNAL ARTICLE published January 1974 in Journal of the ACM

Authors: Nai-kuan Tsao

Transfer Function Simulation by Means of Amplifiers and Potentiometers

JOURNAL ARTICLE published July 1956 in Journal of the ACM

Authors: L. E. Heizer | S. J. Abraham

Erratum: `` A Local Visual Operator Which Recognizes Edges and Lines''

JOURNAL ARTICLE published April 1974 in Journal of the ACM

Authors: Manfred H. Hueckel

Corrigendum: `` Lower Bounds and Reductions Between Grammar Problems''

JOURNAL ARTICLE published October 1978 in Journal of the ACM

Authors: Harry B. Hunt | Thomas G. Szymanski

An Answer to Mr. J. A. Lively's Remarks on the Paper `` Amphisbaenic Sorting''

JOURNAL ARTICLE published January 1961 in Journal of the ACM

Authors: H. Nagler

Convergence Problems in Maehly's Second Method

JOURNAL ARTICLE published April 1965 in Journal of the ACM

Authors: Charles B. Dunham

Changing from Analog to Digital Programming by Digital Techniques

JOURNAL ARTICLE published January 1960 in Journal of the ACM

Authors: Marvin L. Stein | Jack Rose

Solving Two-Commodity Transportation Problems with Coupling Constraints

JOURNAL ARTICLE published October 1980 in Journal of the ACM

Authors: K. G. Ramakrishnan

Morphological Classification in the National Bureau of Standards Mechanical Translation System

JOURNAL ARTICLE published October 1965 in Journal of the ACM

Authors: Leroy F. Meyers

Letter to the Editor on `` A Method for Transposing a Matrix''

JOURNAL ARTICLE published April 1959 in Journal of the ACM

Authors: D. J. Wheeler | H. F. Swinnerton-Dyer

A Theory of Computer Instructions

JOURNAL ARTICLE published April 1966 in Journal of the ACM

Authors: Ward Douglas Maurer

Translation Networks and Function Composition

JOURNAL ARTICLE published April 1969 in Journal of the ACM

Authors: Peter Wegner

The Prospects for the Utilization of Informational-Logical Machines in Chemistry (USSR)

JOURNAL ARTICLE published April 1961 in Journal of the ACM

Authors: L. L. Gutenmakher | G. E. Vleduts

Busy Period Analysis of a Time-Sharing System Modeled as a Semi-Markov Process

JOURNAL ARTICLE published April 1971 in Journal of the ACM

Authors: U. Narayan Bhat | Richard E. Nance

Generalized Cascade Decompositions of Automata

JOURNAL ARTICLE published July 1965 in Journal of the ACM

Authors: Michael Yoeli

A Method of Solving Boundary Value Problems of Mathematical Physics on Punch Card Machines

JOURNAL ARTICLE published July 1954 in Journal of the ACM

Authors: Stefan Bergman

Calculation of Generalized Hypergeometric Series

JOURNAL ARTICLE published October 1954 in Journal of the ACM

Authors: Susie E. Atta | Ward C. Sangren