Search results

Articles (7)

Journals (0)

1-7 of 7 results for semi-Thue system

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2012-7

On One-Rule Grid Semi-Thue Systems

Michel Latteux, Yves Roos

Fundamenta Informaticae

Retricted access

Research article

First published 2017-8-9

Small Semi-Thue System Universal with Respect to the Termination Problem

Vesa Halava, Yuri Matiyasevich, Reino Niskanen

Fundamenta Informaticae

Retricted access

Research article

First published 1980

Non-generable formal languages

Douglas Cenzer

Fundamenta Informaticae

Retricted access

Research article

First published 2017-8-9

A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem

Vesa Halava, Tero Harju, Esa Sahla

Fundamenta Informaticae

Retricted access

Research article

First published 2001-6

Algorithms and Reductions for Rewriting Problems

Rakesh M. Verma, Michael Rusinowitch, Denis Lugiez

Fundamenta Informaticae

Retricted access

Research article

First published 2006-10

Undecidability in ω-Regular Languages

Vesa Halava, Tero Harju, Juhani Karhumäki

Fundamenta Informaticae

Retricted access

Research article

First published 2019

Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization

Andrej Dudenhefner, Jakob Rehof

Fundamenta Informaticae