[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in...

  • Main
  • [IEEE 2017 32nd Annual ACM/IEEE...

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Decidability, complexity, and expressiveness of first-order logic over the subword ordering

Halfon, Simon, Schnoebelen, Philippe, Zetzsche, Georg
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:
2017
Language:
english
DOI:
10.1109/LICS.2017.8005141
File:
PDF, 392 KB
english, 2017
Conversion to is in progress
Conversion to is failed