Publications personnelle

41documents trouvés

92256
01/09/1992

Petri nets as a candidate for a semantical interpretation of linear logic

B.PRADIN-CHEZALVIEL, R.VALETTE

OLC, SP

Manifestation sans acte : German Workshop on Artificial Intelligence. "Logic and Change", Bonn (Allemagne), 1-2 Septembre 1992, 16p. , N° 92256

Diffusable

6298
Pour recevoir une copie des documents, contacter doc@laas.fr en mentionnant le n° de rapport LAAS et votre adresse postale. Signalez tout problème de fonctionnement à sysadmin@laas.fr. http://www.laas.fr/pulman/pulman-isens/web/app.php/