Information and Computation, Volume 152

Volume 152, Number 1, July 1999

Joost Engelfriet: Derivation Trees of Ground Term Rewriting Systems. 1-15
Ganesh Baliga, John Case, Sanjay Jain: The Synthesis of Language Learners. 16-43
Rudolf Fleischer: Decision Trees: Old and New Results. 44-61
Alexis Maciel, Denis Thérien: Efficient Threshold Circuits for Power Series. 62-73
John Case, Sanjay Jain, Steffen Lange, Thomas Zeugmann: Incremental Concept Learning for Bounded Data Mining. 74-110
Thomas Ehrhard: A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries. 111-137
Guo-Qiang Zhang: Automata, Boolean Matrices, and Ultimate Periodicity. 138-154

Baruch Awerbuch, Margrit Betke, Ronald L. Rivest, Mona Singh: Piecemeal Graph Exploration by a Mobile Robot. 155-172
Tirza Hirst, Moshe Lewenstein: Alternation and Bounded Concurrency Are Reverse Equivalent. 173-187
Yoshifumi Sakai, Eiji Takimoto, Akira Maruoka: Proper Learning Algorithm for Functions of k Terms under Smooth Distributions. 188-204
Yuri Gurevich, Margus Veanes: Logic with Equality: Partisan Corroboration and Shifted Pairing. 205-235
Francesco Ranzato: Closures on CPOs Form Complete Lattices. 236-249