Counter machine

A counter machine is an abstract machine used in formal logic and theoretical computer science to model computation. It is the most primitive of the…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

2013

For the classical family of languages recognized by quasi-realtime deterministic multi-counter machines of the partially blind…

2011

In the last two decades, formal verification has emerged as an important technique for the formal modeling and analysis of real…

2009

In this talk I present some past, present and future work concerning reachability computation for continuous and hybrid systems.

2009

The paper addresses what we see as the four major issues in logic. The overriding issue is that of the choice of logic. We start…

2007

Invited Talks.- Nonmonotonic Description Logics - Requirements, Theory, and Implementations.- Our Quest for the Holy Grail of…

1997

Traditional database systems provide a mechanism for storing large amounts of data and an interface for querying and manipulating…

1981

It has long been known that deterministic 1-way counter machines recognize exactly all r.e. sets. Here we investigate counter…

1981

We used a simple theoretical model to stimulate the changes in particle size distribution that occur when crystals grow, or…

1974