[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer...

  • Main
  • [IEEE 2010 25th Annual IEEE Symposium...

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Recursion Schemes and Logical Reflection

Broadbent, Christopher H., Carayol, Arnaud, Ong, C.-H. Luke, Serre, Olivier
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2010
Language:
english
DOI:
10.1109/lics.2010.40
File:
PDF, 384 KB
english, 2010
Conversion to is in progress
Conversion to is failed