Elementary equivalence versus isomorphism in semiring semantics
Grädel, Erich (Corresponding author); Mrkonjić, Lovro (Corresponding author)
(2021)
Preprint
Institutions
- Department of Mathematics [110000]
- Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
Identifier
- DOI: 10.18154/RWTH-2021-02138
- arXiv: arXiv:2102.05473
- RWTH PUBLICATIONS: RWTH-2021-02138