Lecture Notes in Computer Science - Machines, Computations, and Universality
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319231105, 9783319231112

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Decidability Problems for Self-induced Systems Generated by a Substitution

Lecture Notes in Computer Science - Machines, Computations, and Universality ◽

10.1007/978-3-319-23111-2_1 ◽

2015 ◽

pp. 3-16

Author(s):

Timo Jolivet ◽

Anne Siegel

Download Full-text

Reversible Limited Automata

Lecture Notes in Computer Science - Machines, Computations, and Universality ◽

10.1007/978-3-319-23111-2_8 ◽

2015 ◽

pp. 113-128 ◽

Cited By ~ 2

Author(s):

Martin Kutrib ◽

Matthias Wendlandt

Download Full-text

Non-isometric Contextual Array Grammars with Regular Control and Local Selectors

Lecture Notes in Computer Science - Machines, Computations, and Universality ◽

10.1007/978-3-319-23111-2_5 ◽

2015 ◽

pp. 61-78 ◽

Cited By ~ 2

Author(s):

Henning Fernau ◽

Rudolf Freund ◽

Rani Siromoney ◽

K. G. Subramanian

Keyword(s):

Regular Control

Download Full-text

A Connection Between Red-Green Turing Machines and Watson-Crick T0L Systems

Lecture Notes in Computer Science - Machines, Computations, and Universality ◽

10.1007/978-3-319-23111-2_3 ◽

2015 ◽

pp. 31-44 ◽

Cited By ~ 1

Author(s):

Erzsébet Csuhaj-Varjú ◽

Rudolf Freund ◽

György Vaszil

Keyword(s):

Turing Machines

Download Full-text

Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics

Lecture Notes in Computer Science - Machines, Computations, and Universality ◽

10.1007/978-3-319-23111-2_2 ◽

2015 ◽

pp. 17-27

Author(s):

Mike Stannett

Keyword(s):

Formal Verification

Download Full-text

Universality in Infinite Petri Nets

Lecture Notes in Computer Science - Machines, Computations, and Universality ◽

10.1007/978-3-319-23111-2_12 ◽

2015 ◽

pp. 180-197

Author(s):

Dmitry A. Zaitsev

Keyword(s):

Petri Nets

Download Full-text

Tinput-Driven Pushdown Automata

Lecture Notes in Computer Science - Machines, Computations, and Universality ◽

10.1007/978-3-319-23111-2_7 ◽

2015 ◽

pp. 94-112 ◽

Cited By ~ 3

Author(s):

Martin Kutrib ◽

Andreas Malcher ◽

Matthias Wendlandt

Keyword(s):

Pushdown Automata

Download Full-text

Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States

Lecture Notes in Computer Science - Machines, Computations, and Universality ◽

10.1007/978-3-319-23111-2_6 ◽

2015 ◽

pp. 79-93 ◽

Cited By ~ 3

Author(s):

Sergiu Ivanov ◽

Sergey Verlan

Download Full-text

The Simulation Powers and Limitations of Hierarchical Self-Assembly Systems

Lecture Notes in Computer Science - Machines, Computations, and Universality ◽

10.1007/978-3-319-23111-2_10 ◽

2015 ◽

pp. 149-163 ◽

Cited By ~ 4

Author(s):

Jacob Hendricks ◽

Matthew J. Patitz ◽

Trent A. Rogers

Keyword(s):

Self Assembly ◽

Assembly Systems

Download Full-text

A Characterization of NP Within Interval-Valued Computing

Lecture Notes in Computer Science - Machines, Computations, and Universality ◽

10.1007/978-3-319-23111-2_11 ◽

2015 ◽

pp. 164-179 ◽

Cited By ~ 1

Author(s):

Benedek Nagy ◽

Sándor Vályi

Keyword(s):

Interval Valued

Download Full-text

Lecture Notes in Computer Science - Machines, Computations, and UniversalityLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Decidability Problems for Self-induced Systems Generated by a Substitution

Reversible Limited Automata

Non-isometric Contextual Array Grammars with Regular Control and Local Selectors

A Connection Between Red-Green Turing Machines and Watson-Crick T0L Systems

Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics

Universality in Infinite Petri Nets

Tinput-Driven Pushdown Automata

Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States

The Simulation Powers and Limitations of Hierarchical Self-Assembly Systems

A Characterization of NP Within Interval-Valued Computing

Lecture Notes in Computer Science - Machines, Computations, and Universality
Latest Publications