Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Counter-machine model

Known as: Counter machine models, Register machine models 
This page supplements counter machine. Although some authors use the name "register machine" synonymously with "counter machine", this article will… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Acceleration methods are commonly used for computing precisely the effects of loops in the reachability analysis of counter… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 6
  • figure 7
Is this relevant?
2011
2011
Acceleration methods are commonly used for speeding up the convergence of loops in reachability analysis of counter machine… Expand
  • figure 1
Is this relevant?
2010
2010
Acceleration methods are commonly used for computing precisely the effects of loops in the reachability analysis of counter… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 6
  • figure 7
Is this relevant?
2007
2007
MF-$0.65 HC-$3.29 Computer Assisted Instruction; *Educational Pesea-rch; *Elementary School Mathematics; *Learning; Learning… Expand
  • figure 1
Is this relevant?