Theories of real addition with and without a predicate for integers

From MaRDI portal

Publication:6334561

Jump to:navigation, search

DOI10.23638/LMCS-17(2:18)2021arXiv2002.04282MaRDI QIDQ6334561

Christian Choffrut, Alexis Bès

Publication date: 11 February 2020

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

This page was built for publication: Theories of real addition with and without a predicate for integers

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6334561&oldid=35942360"