Stefano Guerrini, Simone Martini, and Andrea Masini. Coherence for sharing proof-nets.
Theoretical Computer Science
, 294:379-409, 2003.
[
bib
]
Back
This file has been generated by
bibtex2html
1.60
>>>
BackToHomePage(Protocollo)
<<<