Search results

Articles (7)

Journals (0)

1-7 of 7 results for Hilbert's tenth problem

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2024-11-28

Hilbert’s tenth problem for term algebras with a substitution operator

Juvenal Murwanashyaka

Computability

Retricted access

Research article

First published 2013-4

Decision Problems for Probabilistic Finite Automata on Bounded Languages

Paul C. Bell, Vesa Halava, Mika Hirvensalo

Fundamenta Informaticae

Retricted access

Research article

First published 2010-3

A Note on Two-pebble Automata Over Infinite Alphabets

Michael Kaminski, Tony Tan

Fundamenta Informaticae

Retricted access

Research article

First published 2003-7

On the existence of a new family of Diophantine equations for Ω

Toby Ord, Tien D. Kieu

Fundamenta Informaticae

Retricted access

Research article

First published 2009-5

Flat Parametric Counter Automata

Marius Bozga, Radu Iosif, Yassine Lakhnech

Fundamenta Informaticae

Retricted access

Research article

First published 2019

Complexity and (Un)decidability of Fragments of 〈 ω ω λ;× 〉

Alexis Bès, Christian Choffrut

Fundamenta Informaticae

Retricted access

Research article

First published 2011-6

Mesh Algorithms for Solving Principal Diophantine Equations,Sand-glass Tubes and Tori of Roots

Daniel Simson

Fundamenta Informaticae