Programs With Lists Are Counter Automata

Formal Methods in System Design - Netherlands
doi 10.1007/s10703-011-0111-7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Simulations Between Programs as Cellular Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Branching-Time Model Checking of Parametric One-Counter Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

The Modeling of Counter Machines by Two-Head Finite Automata

Automatic Control and Computer Sciences
ControlSystems EngineeringSignal ProcessingSoftware
2013English

From Control-Command Synchronous Programs to Hybrid Automata

IFAC Proceedings Volumes
2012English

Are Quantum Fields Cellular Automata?

Physics Letters, Section A: General, Atomic and Solid State Physics
AstronomyPhysics
1986English

Designing Counter Using Inherent Capability of Quantum-Dot Cellular Automata Loops

International Journal of Modern Education and Computer Science
2015English

LearnLib Tutorial: From Finite Automata to Register Interface Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

BASIC-PLUS Programs to Manage Bibliographies, Reference Lists, and Reprint Files

Behavior Research Methods
DevelopmentalArtsPsychologyEducational PsychologyCognitive PsychologyHumanitiesExperimental
1977English

Hybrid One-Dimensional Reversible Cellular Automata Are Regular

Discrete Applied Mathematics
CombinatoricsApplied MathematicsDiscrete Mathematics
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy