Definability of linear equation systems over groups and rings
Log. Methods Comput. Sci. Bd. 9. H. 4. 2013
Erscheinungsjahr: 2013
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
| Geprüft: | Bibliothek |
Autoren
Dawar, Anuj (Autor)
Grädel, Erich (Autor)
Holm, Bjarki (Autor)
Kopczynski, Eryk (Autor)
Klassifikation
DDC Sachgruppe:
Informatik
