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.