Article,

Définitions Récursives Par Cas.

, and .
RAIRO Theor. Informatics Appl., 18 (2): 91-129 (1984)

Meta data

Tags

Users

  • @dblp

Comments and Reviews