Search results: Sage Journals

Restricted accessResearch articleFirst published May, 2010

Solvability of the Halting and Reachability Problem for Binary 2-tag Systems

Liesbeth De Mol

Fundamenta Informaticae

Restricted accessResearch articleFirst published September, 2001

Javier Esparza, Claus Schröter

Fundamenta Informaticae

Restricted accessResearch articleFirst published March 4, 2016

Christoph Haase, Joël Ouaknine, James Worrell

Fundamenta Informaticae

Restricted accessResearch articleFirst published September, 2002

K. Sutner

Fundamenta Informaticae

Restricted accessResearch articleFirst published 2016

Michael Köhler-Bußmeier, Frank Heitmann

Fundamenta Informaticae

Restricted accessResearch articleFirst published January, 2014

Michael Köhler-Bußmeier

Fundamenta Informaticae

Restricted accessResearch articleFirst published April, 2013

Jakub Chaloupka

Fundamenta Informaticae

Restricted accessResearch articleFirst published May, 2009

Marius Bozga, Radu Iosif, Yassine Lakhnech

Fundamenta Informaticae

Restricted accessResearch articleFirst published October, 2007

Michael Köhler

Fundamenta Informaticae

Restricted accessResearch articleFirst published February, 1999

Keijo Heljanko

Fundamenta Informaticae