Elementary equivalence versus isomorphism in semiring semantics
Grädel, Erich (Corresponding author); Mrkonjić, Lovro (Corresponding author)
(2021)
Preprint
Einrichtungen
- Fachgruppe Mathematik [110000]
- Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
Identifikationsnummern
- DOI: 10.18154/RWTH-2021-02138
- arXiv: arXiv:2102.05473
- RWTH PUBLICATIONS: RWTH-2021-02138