[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic...

  • Main
  • [IEEE Comput. Soc Fifteenth Annual IEEE...

[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - A decision procedure for term algebras with queues

Rybina, T., Voronkov, A.
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:
2000
Language:
english
Pages:
12
DOI:
10.1109/lics.2000.855776
File:
PDF, 353 KB
english, 2000
Conversion to is in progress
Conversion to is failed