Information and Computation, Volume 82

Volume 82, Number 1, 1989

Jean-Pierre Jouannaud, Emmanuel Kounalis: Automatic Proofs by Induction in Theories without Constructors. 1-33 BibTeX
Jin-yi Cai, Lane A. Hemachandra: Enumerative Counting Is Hard. 34-44 BibTeX
Dan E. Willard: Lower Bounds for the Addition-Subtraction Operations in Orthogonal Range Queries and Related Problems. 45-64 BibTeX
Manfred Droste: Recursive Domain Equations for Concrete Data Structures. 65-80 BibTeX
Nancy A. Lynch, Eugene W. Stark: A Proof of the Kahn Principle for Input/Output Automata. 81-92 BibTeX
Alistair Sinclair, Mark Jerrum: Approximate Counting, Uniform Generation and Rapidly Mixing Markov Chains. 93-133 BibTeX

Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini: Membership Problems for Regular and Context-Free Trace Languages. 135-150 BibTeX
Margaret Montenyohl, Mitchell Wand: Incorporating Static Analysis in a Combinator-Based Compiler. 151-184 BibTeX
László Babai, Shlomo Moran: Proving Properties of Interactive Proofs by a Generalized Counting Technique. 185-197 BibTeX
André Arnold, Anne Dicky: An Algebraic Characterization of Transition System Equivalences. 198-229 BibTeX

Andrzej Ehrenfeucht, David Haussler: Learning Decision Trees from Random Examples. 231-246 BibTeX
Andrzej Ehrenfeucht, David Haussler, Michael J. Kearns, Leslie G. Valiant: A General Lower Bound on the Number of Examples Needed for Learning. 247-261 BibTeX
Richard J. Anderson, Ernst W. Mayr, Manfred K. Warmuth: Parallel Approximation Algorithms for Bin Packing. 262-277 BibTeX
Frank A. Stomp, Willem P. de Roever, Rob Gerth: The upsilon-Calculus as an Assertion-Language for Fairness Arguments. 278-322 BibTeX
Rusins Freivalds, Carl H. Smith, Mahendran Velauthapillai: Trade-Off among Parameters Effecting Inductive Inference. 323-349 BibTeX
Foto N. Afrati, Christos H. Papadimitriou, George Papageorgiou: Corrigendum: The Complexity of Cubical Graphs. 350-353 BibTeX