haku: @keyword linear logic / yhteensä: 2
viitteet: 1-2 / 2
« edellinen sivu | seuraava sivu »
 otsikkovuositekijä
1.
An Interactive Theorem Prover for Linear Logic
 1993 Patinen, Juha-Pekka
2.
On the Compositionality and Analysis of High-Level Nets
 1991 Lilius, Johan
« edellinen sivu | seuraava sivu »
INSSI