![](/img/cover-not-exists.png)
Light logics and optimal reduction: Completeness and complexity
Patrick Baillot, Paolo Coppola, Ugo Dal LagoVolume:
209
Year:
2011
Language:
english
Pages:
25
DOI:
10.1016/j.ic.2010.10.002
File:
PDF, 899 KB
english, 2011