Proof Strategies in Linear Logic

Authors
T.Tammet
Citation
T.tammet, Proof Strategies in Linear Logic, Journal of automated reasoning , 12(3), 1994, pp. 273-304
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
12
Issue
3
Year of publication
1994
Pages
273 - 304
Database
ACNP
SICI code