|
|
||
|
|
|
MR825644
(87f:68024)
68Q05
(03D35 03F35)
Rosier, Louis E. A note on Presburger arithmetic with array segments, permutation and equality. Inform. Process. Lett. 22 (1986), no. 1, 33--35. |
|
|
| For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews. | ||||
|
|
||||
AMS Home Page
|