J.M. Andreoli, R. Maieli, and P. Ruet. Constraint-based proof construction in non commutative logic.
Theoretical Computer Science
, 2004. To appear.
[
bib
]
Back
This file has been generated by
bibtex2html
1.60
>>>
BackToHomePage(Protocollo)
<<<