ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
MTL and TPTL for One-Counter Machines
ACM Transactions on Computational Logic
◽
10.1145/3372789
◽
2020
◽
Vol 21
(2)
◽
pp. 1-34
Author(s):
Shiguang Feng
◽
Claudia Carapelle
◽
Oliver Fernández Gil
◽
Karin Quaas
Keyword(s):
Counter Machines
Download Full-text
Related Documents
Cited By
References
Simple counter machines and number-theoretic problems
Journal of Computer and System Sciences
◽
10.1016/0022-0000(79)90025-4
◽
1979
◽
Vol 19
(2)
◽
pp. 145-162
◽
Cited By ~ 18
Author(s):
Eitan M. Gurari
◽
Oscar H. Ibarra
Keyword(s):
Counter Machines
Download Full-text
On the termination and structural termination problems for counter machines with incrementing errors
Journal of Computer and System Sciences
◽
10.1016/j.jcss.2021.03.007
◽
2021
◽
Vol 120
◽
pp. 149-161
Author(s):
Christopher Hampson
Keyword(s):
Counter Machines
Download Full-text
On Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L
Implementation and Application of Automata - Lecture Notes in Computer Science
◽
10.1007/978-3-319-40946-7_12
◽
2016
◽
pp. 138-149
◽
Cited By ~ 2
Author(s):
Oscar H. Ibarra
◽
Ian McQuillan
Keyword(s):
Finite Index
◽
Counter Machines
Download Full-text
One-Reversal Counter Machines and Multihead Automata: Revisited
SOFSEM 2011: Theory and Practice of Computer Science - Lecture Notes in Computer Science
◽
10.1007/978-3-642-18381-2_14
◽
2011
◽
pp. 166-177
◽
Cited By ~ 2
Author(s):
Ehsan Chiniforooshan
◽
Mark Daley
◽
Oscar H. Ibarra
◽
Lila Kari
◽
Shinnosuke Seki
Keyword(s):
Counter Machines
Download Full-text
Equivalence problem for finitely iterated counter machines
Cybernetics
◽
10.1007/bf01069603
◽
1981
◽
Vol 16
(4)
◽
pp. 486-488
Author(s):
V. N. Red'ko
◽
L. P. Lisovik
Keyword(s):
Equivalence Problem
◽
Counter Machines
Download Full-text
On reversal-bounded counter machines and on pushdown automata with a bound on the size of the pushdown store
Information and Control
◽
10.1016/s0019-9958(82)80023-5
◽
1982
◽
Vol 54
(3)
◽
pp. 217-227
◽
Cited By ~ 15
Author(s):
Pavol Duris
◽
Zvi Galil
Keyword(s):
Counter Machines
◽
Pushdown Automata
Download Full-text
Small Universal Reversible Counter Machines
Reversibility and Universality - Emergence, Complexity and Computation
◽
10.1007/978-3-319-73216-9_20
◽
2018
◽
pp. 433-446
Author(s):
Artiom Alhazov
◽
Sergey Verlan
◽
Rudolf Freund
Keyword(s):
Counter Machines
Download Full-text
Dense-choice Counter Machines revisited
Theoretical Computer Science
◽
10.1016/j.tcs.2014.04.029
◽
2014
◽
Vol 542
◽
pp. 17-31
Author(s):
Florent Bouchy
◽
Alain Finkel
◽
Pierluigi San Pietro
Keyword(s):
Counter Machines
Download Full-text
The complexity of the equivalence problem for counter machines, semilinear sets, and simple programs
10.1145/800135.804407
◽
1979
◽
Cited By ~ 3
Author(s):
Eitan M. Gurari
◽
Oscar H. Ibarra
Keyword(s):
Equivalence Problem
◽
Semilinear Sets
◽
Counter Machines
Download Full-text
Counter machines and counter languages
Mathematical Systems Theory
◽
10.1007/bf01694011
◽
1968
◽
Vol 2
(3)
◽
pp. 265-283
◽
Cited By ~ 122
Author(s):
Patrick C. Fischer
◽
Albert R. Meyer
◽
Arnold L. Rosenberg
Keyword(s):
Counter Machines
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close