Telecharger Cours

Compilation de CSP en Set-labeled Diagram - Alexandre Niveau

). Un SD convergent (focusing SD, FSD) est un SD ne contenant que des arcs convergents. Un SD read-once (RSD) est un SD dans lequel il n'existe aucun chemin ...



Download