Tome 27 (1993) no. 3

Sommaire

Limiting characterizations of low level space complexity classes
p. 175-182
Objects in relational database schemes with functional, inclusion, and exclusion dependencies
p. 183-219
CPO-models for second order lambda calculus with recursive types and subtyping
p. 221-260
Pm numbers, ambiguity, and regularity
p. 261-275