Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
| Natura: | Elettronico eBook |
|---|---|
| Lingua: | inglese |
| Pubblicazione: |
Association for Computing Machinery (ACM),
7/14/14
|
| Soggetti: | |
| Accesso online: | Full text available on Research4Life (ACM) |
Documenti analoghi
Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Proceedings of the twenty-ninth annual symposium on Computational geometry
Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
Proceedings of the twenty-third annual symposium on Computational geometry
Logical Methods in Computer Science | Logical Methods in Computer Science e.V.
Proceedings of the twenty-third annual ACM symposium on Theory of Computing
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
Journal of Logic and Computation
Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Logic
di: Sheehan
di: Sheehan
Proceedings of the twenty-eighth annual symposium on Computational geometry
Proceedings of the twenty-sixth annual symposium on Computational geometry
Proceedings of the twenty-seventh annual symposium on Computational geometry
Proceedings of the twenty-fourth annual symposium on Computational geometry
Proceedings of the twenty-first annual symposium on Computational geometry
Proceedings of the twenty-second annual symposium on Computational geometry
Proceedings of the twenty-fifth annual symposium on Computational geometry
Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms
Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
ACM Transactions on Computational Logic
CSL Connection
Modern Logic~The Review of Modern Logic
Proceedings of the twenty-second annual ACM symposium on Theory of Computing
Proceedings of the twenty-fourth annual ACM symposium on Theory of Computing
Proceedings of the twenty-fifth annual ACM symposium on Theory of Computing
Proceedings of the twenty-sixth annual ACM symposium on Theory of Computing
Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Proceedings of the twenty-eighth annual ACM symposium on Theory of Computing
Proceedings of the twenty-first annual symposium on Principles of distributed computing
Proceedings of the twenty-second annual symposium on Principles of distributed computing
Proceedings of the twenty-first annual ACM symposium on Theory of computing
Proceedings of the twenty-first annual conference on Computer personnel research