Annals of Pure and Applied Logic, Volume 117

Volume 117, Number 1-3, 15 October 2002

• John Longley: The sequentially realizable functionals. 1-93 BibTeX
• Zena M. Ariola, Stefan Blom: Skew confluence and the lambda calculus with letrec. 95-168 BibTeX
• William I. Gasarch, Geoffrey R. Hird: Automata techniques for query inference machines. 169-201 BibTeX
• David Lippe: A contrast to the low basis theorem. 203-207 BibTeX
• Guohua Wu: Nonisolated degrees and the jump operator. 209-221 BibTeX
• Alan Dowm, Jinyuan Zhou: Partition subalgebras for maximal almost disjoint families. 223-259 BibTeX
• Giorgi Japaridze: The logic of tasks. 261-293 BibTeX