Dataset - CKAN

Analysis of probabilistic programs by abstract interpretation

version corrigée de quelques scories
- HTML
Concurrency in Interaction Nets and Graph Rewriting

Effectué en cotutelle entre le département de Philosophie de l'Università Roma Tre et le Laboratoire d'Informatique de l'Université Paris 13
- HTML
Combining Higher-Order and First-Order Computation Using Rho Calculus: Toward...

Colloque sur invitation.
- HTML

You can also access this registry using the API (see API Docs).

3 datasets found