Journals
Seminars
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Books
Lecture notes
Theses
Authors
All
All
Author
Title
References
Keywords
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Keywords
Full text
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Volume 22 (1988)
no. 3
Table of contents
Logic and functional programming by retractions
Bellia, M.
p. 271-310
A property of biprefix codes
Leonard, Martine
p. 311-318
Yield-languages recognized by alternating tree recognizers
Salomaa, Kai
p. 319-339
Proposal for a natural formalization of functional programming concepts
Bellot, Patrick
;
Sarni, Djamil
p. 341-360
Deux propriétés combinatoires des nombres de Schröder
Gouyou-Beauchamps, Dominique
;
Vauquelin, Bernard
p. 361-388
