Login / Signup
Deciding whether a relation defined in Presburger logic can be defined in weaker logics.
Christian Choffrut
Published in:
RAIRO Theor. Informatics Appl. (2008)
Keyphrases
</>
modal logic
expressive power