Download citation
Deciding whether a relation defined in
Presburger logic
can be defined in weaker logics
Christian Choffrut
RAIRO-Theor. Inf. Appl. 42 (1) 121-135 (2008)
DOI: 10.1051/ita:2007047
| Download this article citation: |
Back to article