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

Sommaire

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