Definability of Summation Problems for Abelian Groups and Semigroups
Proceedings of 32th Annual ACM/IEEE Symposium on Logic in Computer Science. 2017 S. 1 - 4
Erscheinungsjahr: 2017
ISBN/ISSN: 978-1-5090-3018-7
Publikationstyp: Buchbeitrag
Sprache: Deutsch
| Geprüft: | Bibliothek |
Klassifikation
DDC Sachgruppe:
Informatik
