Reasoning About Reversal-Bounded Counter Machines
1979 ◽
Vol 19
(2)
◽
pp. 145-162
◽
Eitan M. Gurari
◽
Oscar H. Ibarra
2021 ◽
Vol 120
◽
pp. 149-161
Oscar H. Ibarra
◽
Ian McQuillan
Ehsan Chiniforooshan
◽
Mark Daley
◽
Oscar H. Ibarra
◽
Lila Kari
◽
Shinnosuke Seki
1981 ◽
Vol 16
(4)
◽
pp. 486-488
V. N. Red'ko
◽
L. P. Lisovik
1982 ◽
Vol 54
(3)
◽
pp. 217-227
◽
Artiom Alhazov
◽
Sergey Verlan
◽
Rudolf Freund
2014 ◽
Vol 542
◽
pp. 17-31
Florent Bouchy
◽
Alain Finkel
◽
Pierluigi San Pietro
Eitan M. Gurari
◽
Oscar H. Ibarra
1968 ◽
Vol 2
(3)
◽
pp. 265-283
◽
Patrick C. Fischer
◽
Albert R. Meyer
◽
Arnold L. Rosenberg