Light logics and optimal reduction: Completeness and complexity

BAILLOT P

•

DAL LAGO U.

•

COPPOLA, Paolo

2011

journal article

Periodico

INFORMATION AND COMPUTATION

WOS

WOS:000286479900003

Archivio

http://hdl.handle.net/11390/697008

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-78649909996

Diritti

metadata only access

Visualizzazioni

2

Data di acquisizione
Apr 19, 2024