RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 27 (1993) no. 3

Table of contents

Limiting characterizations of low level space complexity classes

Angelaccio, Michèle; Protasi, Marco

p. 175-182

Objects in relational database schemes with functional, inclusion, and exclusion dependencies

Biskup, Joachim; Dublish, Pratul

p. 183-219

CPO-models for second order lambda calculus with recursive types and subtyping

Poll, E.; Hemerik, C.; Ten Eikelder, H. M. M.

p. 221-260

Pm numbers, ambiguity, and regularity

Cameron, H. A.; Wood, D.

p. 261-275