Maurice Margenstern

Int. J. Parallel Emergent Distributed Syst., January, 2024

Meadows in the Heptgrid and Possible Generalizations.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2024

A Strongly Universal Cellular Automaton on the Heptagrid with Six States.

[BibT_eX]

[DOI]

Complex Syst., 2024

2023

The Domino Problem of the Hyperbolic Plane Is Undecidable: New Proof.

[BibT_eX]

[DOI]

Complex Syst., June, 2023

A strongly universal cellular automaton on the heptagrif with seven states, new proof.

[BibT_eX]

[DOI]

CoRR, 2023

A weakly universal weighted cellular automaton in the heptagrid with 7 states.

[BibT_eX]

[DOI]

CoRR, 2023

2022

What can we learn from universal Turing machines?

[BibT_eX]

[DOI]

Int. J. Parallel Emergent Distributed Syst., 2022

A Strongly Universal Cellular Automaton in the Dodecagrid with Five States.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2022

Multiple Fibonacci Trees.

[BibT_eX]

[DOI]

Proceedings of the Automata and Complexity, 2022

2021

A Strongly Universal Cellular Automaton on the Heptagrid with Seven States.

[BibT_eX]

[DOI]

J. Cell. Autom., 2021

An outer totalistic weakly universal cellular automaton in the dodecagrid with four states.

[BibT_eX]

[DOI]

CoRR, 2021

A strongly universal cellular automaton with four states.

[BibT_eX]

[DOI]

CoRR, 2021

2019

About Fibonacci trees III: multiple Fibonacci trees.

[BibT_eX]

[DOI]

CoRR, 2019

About Fibonacci trees. II - generalized Fibonacci trees.

[BibT_eX]

[DOI]

CoRR, 2019

About Fibonacci trees. I.

[BibT_eX]

[DOI]

CoRR, 2019

A Decidability Result for the Halting of Cellular Automata on the Pentagrid.

[BibT_eX]

[DOI]

Complex Syst., 2019

Constructing Iterated Exponentials in Tilings of the Euclidean and of the Hyperbolic Plane.

[BibT_eX]

[DOI]

Proceedings of the From Parallel to Emergent Computing, 1st Edition, 2019

2018

Navigation tools for cellular automata in two families of tilings of the hyperbolic plane.

[BibT_eX]

[DOI]

Int. J. Parallel Emergent Distributed Syst., 2018

A decidability result for the halting problem of cellular automata in the pentagrid.

[BibT_eX]

[DOI]

CoRR, 2018

A Weakly Universal Cellular Automaton on the Grid {8, 3} with Two States.

[BibT_eX]

[DOI]

Proceedings of the Reversibility and Universality, 2018

2017

A weakly universal cellular automaton on the pentagrid with two states.

[BibT_eX]

[DOI]

Int. J. Parallel Emergent Distributed Syst., 2017

A Weakly Universal Cellular Automaton on the Tessellation {9, 3}.

[BibT_eX]

[DOI]

J. Cell. Autom., 2017

2016

A Weakly Universal Cellular Automaton with 2 States on the Tiling {11, 3}.

[BibT_eX]

[DOI]

J. Cell. Autom., 2016

A weakly universal universal cellular automaton in the heptagrid.

[BibT_eX]

[DOI]

CoRR, 2016

A weakly universal universal cellular automaton on the tessellation $\{8, 3\}$.

[BibT_eX]

[DOI]

CoRR, 2016

A new system of coordinates for the tilings $\{p, 3\}$ and $\{p$$-$$2, 4\}$.

[BibT_eX]

[DOI]

CoRR, 2016

Infinigons of the hyperbolic plane and grossone.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2016

2015

Automates cellulaires hyperboliques universels II.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2015

An Algorithmic Approach to Tilings of Hyperbolic Spaces: Universality Results.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2015

Preface.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2015

A weakly universal cellular automaton on the pentagrid with three states.

[BibT_eX]

[DOI]

CoRR, 2015

About embedded quarters and points at infinity in the hyperbolic plane.

[BibT_eX]

[DOI]

CoRR, 2015

Fibonacci words, hyperbolic tilings and grossone.

[BibT_eX]

[DOI]

Commun. Nonlinear Sci. Numer. Simul., 2015

2014

Pentagrid and Heptagrid: the Fibonacci Technique and Group Theory.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2014

A note on groups of a family of hyperbolic tessellations.

[BibT_eX]

[DOI]

Anthony Gasperin

CoRR, 2014

A Weakly Universal Cellular Automaton on the Heptagrid with Three States.

[BibT_eX]

[DOI]

Proceedings of the Second International Symposium on Computing and Networking, 2014

A Weakly Universal Cellular Automaton in the Pentagrid with Five States.

[BibT_eX]

[DOI]

Proceedings of the Computing with New Resources, 2014

2013

Modeling and Simulation of a Car Race.

[BibT_eX]

[DOI]

Rolf Hoffmann

Isabelle Debled-Rennesson

J. Cell. Autom., 2013

Cellular Automata and Naive Discrete Lines - I.

[BibT_eX]

[DOI]

J. Cell. Autom., 2013

About Strongly Universal Cellular Automata

[BibT_eX]

[DOI]

Proceedings of the Proceedings Machines, Computations and Universality 2013, 2013

A proposal for a Chinese keyboard for cellphones, smartphones, ipads and tablets.

[BibT_eX]

[DOI]

Lan Wu

CoRR, 2013

Hyperbolic tilings and formal language theory.

[BibT_eX]

[DOI]

K. G. Subramanian

Proceedings of the Proceedings Machines, Computations and Universality 2013, 2013

2012

Universal Cellular Automata with Two States in the Hyperbolic Plane.

[BibT_eX]

[DOI]

J. Cell. Autom., 2012

Preface.

[BibT_eX]

[DOI]

Jérôme Durand-Lose

Klaus Sutner

Int. J. Found. Comput. Sci., 2012

A family of weakly universal cellular automata in the hyperbolic plane with two states

[BibT_eX]

[DOI]

CoRR, 2012

An application of Grossone to the study of a family of tilings of the hyperbolic plane.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2012

Universality and the Halting Problem for Cellular Automata in Hyperbolic Spaces: The Side of the Halting Problem.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2012

Ten Years of Weakly Universal Cellular Automata in the Hyperbolic Plane.

[BibT_eX]

[DOI]

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

2011

A universal cellular automaton on the heptagrid of the hyperbolic plane with four states.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Small Universal Tvdh and Test Tube Systems.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2011

Universality of Splicing Test Tube Systems with Two Tubes.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Using Grossone to count the number of elements of infinite sets and the connection with bijections

[BibT_eX]

[DOI]

CoRR, 2011

DNA Circuits Based on Isothermal Constrained Loop Extension DNA Amplification

[BibT_eX]

[DOI]

Pascal Mayer

CoRR, 2011

A protocol for a message system for the tiles of the heptagrid, in the hyperbolic plane

[BibT_eX]

[DOI]

CoRR, 2011

Coordinates for a new triangular tiling of the hyperbolic plane

[BibT_eX]

[DOI]

CoRR, 2011

A New Weakly Universal Cellular Automaton in the 3D Hyperbolic Space with Two States.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 5th International Workshop, 2011

Bacteria inspired patterns grown with hyperbolic cellular automata.

[BibT_eX]

[DOI]

Isabelle Debled-Rennesson

Proceedings of the 2011 International Conference on High Performance Computing & Simulation, 2011

Cellular automata and discrete geometry.

[BibT_eX]

[DOI]

Proceedings of the 2011 International Conference on High Performance Computing & Simulation, 2011

2010

A New Characterization of NP, P, and PSPACE with Accepting Hybrid Networks of Evolutionary Processors.

[BibT_eX]

[DOI]

Florin Manea

Victor Mitrana

Mario J. Pérez-Jiménez

Theory Comput. Syst., 2010

About the embedding of one dimensional cellular automata into hyperbolic cellular automata

[BibT_eX]

[DOI]

CoRR, 2010

Turing Machines with Two Letters and Two States.

[BibT_eX]

[DOI]

Complex Syst., 2010

Majority Adder Implementation by Competing Patterns in Life-Like Rule <i>B</i>2/<i>S</i>2345.

[BibT_eX]

[DOI]

Genaro Juárez Martínez

Andrew Adamatzky

Proceedings of the Unconventional Computation - 9th International Conference, 2010

Towards the Frontier between Decidability and Undecidability for Hyperbolic Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems, 4th International Workshop, 2010

An Algorithmic Approach to Tilings of Hyperbolic Spaces: 10 Years Later.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2010

An Upper Bound on the Number of States for a Strongly Universal Hyperbolic Cellular Automaton on the Pentagrid.

[BibT_eX]

[DOI]

Proceedings of the Second Symposium on Cellular Automata "Journées Automates Cellulaires", 2010

Computation with competing patterns in Life-like automaton.

[BibT_eX]

[DOI]

Genaro Juárez Martínez

Andrew Adamatzky

Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

A weakly universal cellular automaton in the hyperbolic 3D space with three states.

[BibT_eX]

[DOI]

Proceedings of the Automata 2010, 2010

Computation with Competing Patterns in Life-Like Automaton.

[BibT_eX]

[DOI]

Proceedings of the Game of Life Cellular Automata., 2010

2009

Cellular Automata in Hyperbolic Spaces.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

A New Universal Cellular Automaton on the Pentagrid.

[BibT_eX]

[DOI]

Yu Song

Parallel Process. Lett., 2009

Maximal, Locally-Maximal, and Minimal Parallelism in Networks of Cells.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2009

Array P Systems and t.Communication.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

The Injectivity of the Global Function of a Cellular Automaton in the Hyperbolic Plane is Undecidable.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

About the Garden of Eden Theorems for Cellular Automata in the Hyperbolic Plane.

[BibT_eX]

[DOI]

Proceedings of the 15th International Workshop on Cellular Automata and Discrete Complex Systems, 2009

About a new splitting for the algorithmic study of the tilings $\{p,q\}$ of the hyperbolic plane when $q$ is odd

[BibT_eX]

[DOI]

CoRR, 2009

Navigation in tilings of the hyperbolic plane and possible applications

[BibT_eX]

[DOI]

CoRR, 2009

Iterative pushdown automata and hyperbolic contour words

[BibT_eX]

[DOI]

CoRR, 2009

A new universal cellular automaton on the ternary heptagrid

[BibT_eX]

[DOI]

CoRR, 2009

The Periodic Domino Problem Is Undecidable in the Hyperbolic Plane.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems, 3rd International Workshop, 2009

2008

Generalized communicating P systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

The domino problem of the hyperbolic plane is undecidable.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

A DNA computing inspired computational model.

[BibT_eX]

[DOI]

Giuditta Franco

Theor. Comput. Sci., 2008

Research Notices: The injectivity of the global function of a cellular automaton in the hyperbolic plane is undecidable.

[BibT_eX]

[DOI]

SIGACT News, 2008

A Uniform and Intrinsic Proof that there are Universal Cellular Automata in Hyperbolic Spaces.

[BibT_eX]

[DOI]

J. Cell. Autom., 2008

About the domino problem in the hyperbolic plane from an algorithmic point of view.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2008

On a Characterization of Cellular Automata in Tilings of the Hyperbolic Plane.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2008

The Finite Tiling Problem is Undecidable in the Hyperbolic Plane.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2008

How to Synchronize the Activity of All Components of a P System?

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2008

A Universal Cellular Automaton on the Ternary Heptagrid.

[BibT_eX]

[DOI]

Yu Song

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

On the injectivity of the global function of a cellular automaton in the hyperbolic plane (extended abstract)

[BibT_eX]

[DOI]

Proceedings of the Proceedings International Workshop on The Complexity of Simple Programs, 2008

Fast Synchronization in P Systems.

[BibT_eX]

[DOI]

Artiom Alhazov

Proceedings of the Membrane Computing - 9th International Workshop, 2008

A Proposal for a Japanese Keyboard on Cellular Phones.

[BibT_eX]

[DOI]

Proceedings of the Cellular Automata, 2008

2007

On small universal antiport P systems.

[BibT_eX]

[DOI]

Erzsébet Csuhaj-Varjú

György Vaszil

Theor. Comput. Sci., 2007

On Algebraic Structure of Neighborhoods of Cellular AutomataHorse Power Problem.

[BibT_eX]

[DOI]

Hidenosuke Nishio

Friedrich von Haeseler

Fundam. Informaticae, 2007

Constructing a uniform plane-filling path in the ternary heptagrid of the hyperbolic plane.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2007

About the domino problem in the hyperbolic plane, a new solution

[BibT_eX]

[DOI]

CoRR, 2007

Is the injectivity of the global function of a cellular automaton in the hyperbolic plane undecidable?

[BibT_eX]

[DOI]

CoRR, 2007

About the domino problem in the hyperbolic plane, a new solution: complement

[BibT_eX]

[DOI]

CoRR, 2007

Producer/Consumer in Membrane Systems and Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Computation and Logic in the Real World, 2007

2006

About an Algorithmic Approach to Tilings {p, q} of the Hyperbolic Plane.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2006

A Universal Cellular Automaton with Five States in the 3D Hyperbolic Space.

[BibT_eX]

[DOI]

J. Cell. Autom., 2006

On the Communication Between Cells of a Cellular Automaton on the Penta- and Heptagrids of the Hyperbolic Plane.

[BibT_eX]

[DOI]

J. Cell. Autom., 2006

A New Way to Implement Cellular Automata on the Penta- and Heptagrids.

[BibT_eX]

[DOI]

J. Cell. Autom., 2006

Machines, Computations and Universality.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

Surprising Areas in the Quest for Small Universal Devices.

[BibT_eX]

[DOI]

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006

Computing by Floating Strings.

[BibT_eX]

[DOI]

Giuditta Franco

Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006

Substitutions for tilings $\{p,q\}$

[BibT_eX]

[DOI]

Guentcho Skordev

CoRR, 2006

Computational Completeness of Tissue P Systems with Conditional Uniport.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 7th International Workshop, 2006

P Colonies with a Bounded Number of Cells and Programs.

[BibT_eX]

[DOI]

Erzsébet Csuhaj-Varjú

György Vaszil

Proceedings of the Membrane Computing, 7th International Workshop, 2006

An Algorithm for Buiding Inrinsically Universal Automata in Hyperbolic Spaces.

[BibT_eX]

Proceedings of the 2006 International Conference on Foundations of Computer Science, 2006

2005

Context-free insertion-deletion systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

About Splicing P Systems with One Membrane.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2005

Time-Varying Distributed H Systems: An Overview.

[BibT_eX]

[DOI]

Francisco José Romero-Campero

Fundam. Informaticae, 2005

On P Systems with Bounded Parallelism.

[BibT_eX]

[DOI]

Francesco Bernardini

Marian Gheorghe

Mario J. Pérez-Jiménez

Natalio Krasnogor

Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

2004

The Tiling of the Hyperbolic 4D Space by the 120-cell is Combinatoric.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2004

Time and Space Complexity Classes of Hyperbolic Cellular Automata.

[BibT_eX]

[DOI]

Chuzo Iwamoto

IEICE Trans. Inf. Syst., 2004

Initialising Cellular Automata in the Hyperbolic Plane.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2004

Tree Operations in P Systems and lamda-Calculus.

[BibT_eX]

[DOI]

Natasa Jonoska

Fundam. Informaticae, 2004

[BibT_eX]

[DOI]

Serge Grigorieff

Fundam. Informaticae, 2004

lambda-P Systems and Typed lambda-Calculus.

[BibT_eX]

[DOI]

Loïc Colson

Natasa Jonoska

Proceedings of the Membrane Computing, 5th International Workshop, 2004

Communicative P Systems with Minimal Cooperation.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 5th International Workshop, 2004

Palette hyperbolique: un outil pour interagir avec des ensembles de données.

[BibT_eX]

[DOI]

Proceedings of the 16th conference on Association Francophone d'Interaction Homme-Machine, 2004

Accepting Hybrid Networks of Evolutionary Processors.

[BibT_eX]

[DOI]

Victor Mitrana

Mario J. Pérez-Jiménez

Proceedings of the DNA Computing, 10th International Workshop on DNA Computing, 2004

Splicing Systems for Universal Turing Machines.

[BibT_eX]

[DOI]

Tero Harju

Proceedings of the DNA Computing, 10th International Workshop on DNA Computing, 2004

Cellular Automata in the Hyperbolic Plane: Proposal for a New Environment.

[BibT_eX]

[DOI]

Proceedings of the Cellular Automata, 2004

2003

A universal cellular automaton in the hyperbolic plane.

[BibT_eX]

[DOI]

Francine Herrmann

Theor. Comput. Sci., 2003

Fibonacci Type Coding for the Regular Rectangular Tilings of the Hyperbolic Plane.

[BibT_eX]

[DOI]

Guentcho Skordev

J. Univers. Comput. Sci., 2003

On the Optimal Number of Instructions for Universal Turing Machines Connected With a Finite Automaton.

[BibT_eX]

[DOI]

Lioudmila Pavlotskaïa

Int. J. Algebra Comput., 2003

Tools for devising cellular automata in the hyperbolic 3D space.

[BibT_eX]

[DOI]

Guentcho Skordev

Fundam. Informaticae, 2003

On the Infinigons of the Hyperbolic Plane, A combinatorial approach.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

Foreword.

[BibT_eX]

[DOI]

Martin Kutrib

Hiroshi Umeo

Fundam. Informaticae, 2003

The splitting method and Poincare's theorem: (II) - matrix, polynomial and language.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2003

Can Hyperbolic Geometry Be of Help for P Systems?.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, International Workshop, 2003

P Systems with Cutting/Recombination Rules Assigned to Membranes.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, International Workshop, 2003

Time-Varying Distributed H Systems with Parallel Computations: The Problem Is Solved.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 9th International Workshop on DNA Based Computers, 2003

Cellular Automata and Combinatoric Tilings in Hyperbolic Spaces. A Survey.

[BibT_eX]

[DOI]

Proceedings of the Discrete Mathematics and Theoretical Computer Science, 2003

A Combinatorial Approach to Hyperbolic Geometry as a New Perspective for Computer Science and Technology.

[BibT_eX]

Proceedings of the ISCA 18th International Conference Computers and Their Applications, 2003

2002

Tiling the Hyperbolic Plane with a Single Pentagonal Tile.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2002

Self-describing Turing machines.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2002

The splitting method and Poincare's theorem: (I) - the geometric part.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2002

Time-Varying Distributed H Systems of Degree 2 Can Carry Out Parallel Computations.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 8th International Workshop on DNA Based Computers, 2002

2001

NP problems are tractable in the space of cellular automata in the hyperbolic plane.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

On quasi-unilateral universal Turing machines.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

Two railway circuits: a universal circuit and an NP-difficult one.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2001

A Universal Time-Varying Distributed H System of Degree 1.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 7th International Workshop on DNA-Based Computers, 2001

Computing with Membranes: Variants with an Enhanced Membrane Handling.

[BibT_eX]

[DOI]

Carlos Martín-Vide

Gheorghe Paun

Proceedings of the DNA Computing, 7th International Workshop on DNA-Based Computers, 2001

Time-varying distributd H-systems of degree 2 generate all recursively enumerable languages.

[BibT_eX]

Proceedings of the Where Mathematics, 2001

Time-Varying Distributed H Systems of Degree 1 Generate All Recursively Enumerable Languages.

[BibT_eX]

Proceedings of the Words, Semigroups, and Transductions, 2001

2000

Frontier between decidability and undecidability: a survey.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

New Tools for Cellular Automata in the Hyperbolic Plane.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2000

A package of algorithms to devise cellular automata in the hyperbolic plane and related questions.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2000

About Time-Varying Distributed H Systems.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 6th International Workshop on DNA-Based Computers, 2000

1999

Nine switch-affine neurons suffice for Turing universality.

[BibT_eX]

[DOI]

Hava T. Siegelmann

Neural Networks, 1999

A Polynomial Solution for 3-SAT in the Space of Cellular Automata in the Hyperbolic Plane.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1999

Universality of Reversible Hexagonal Cellular Automata.

[BibT_eX]

[DOI]

Katsunobu Imai

RAIRO Theor. Informatics Appl., 1999

1998

Some small self-describing Turing machines.

[BibT_eX]

[DOI]

Iurie Rogojin

Comput. Sci. J. Moldova, 1998

1997

Universality of the Chip-Firing Game.

[BibT_eX]

[DOI]

Eric Goles Ch.

Theor. Comput. Sci., 1997

The Laterality Problem for Non-Erasing Turing Machines on {0, 1} is Completely Solved.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1997

Decidability and Undecidability of the Halting Problem on Turing Machines, a Survey.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

1996

Foreword: Universal Machines and Computations.

[BibT_eX]

Theor. Comput. Sci., 1996

1995

Non-Erasing Turing Machines: A New Frontier Between a Decidable Halting Problem and Universality.

[BibT_eX]

[DOI]

Proceedings of the LATIN '95: Theoretical Informatics, 1995

1994

Nonerasing Turing Machines: A Frontier Between a Decidable Halting Problem and Universality.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1994

1993

Non Erasing Turing Machines: A Frontier Between a Decidable Halting Problem and Universality.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 9th International Symposium, 1993

1984

Sur une Extension Simple du calcul intuitionniste des predicats du premier ordre Appliquee a L'analyse.

[BibT_eX]

[DOI]

Math. Log. Q., 1984

1978

On a Variant of Constructivisation of the Theory of Almost Periodic Functions.

[BibT_eX]

[DOI]