[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Light Logics and Optimal Reduction: Completeness and Complexity
Baillot, Patrick, Coppola, Paolo, Lago, Ugo DalYear:
2007
Language:
english
DOI:
10.1109/lics.2007.27
File:
PDF, 226 KB
english, 2007