Login / Signup

Light logics and optimal reduction: Completeness and complexity.

Patrick BaillotPaolo CoppolaUgo Dal Lago
Published in: Inf. Comput. (2011)
Keyphrases