Author name cluster

Lander Ramos

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

1 paper

1 author row

STOC Conference 2010 Conference Paper

The HOM problem is decidable

Guillem Godoy
Omer Giménez
Lander Ramos
Carme Àlvarez

We provide an algorithm that, given a tree homomorphism H and a regular tree language L represented by a tree automaton, determines whether H(L) is regular. This settles a question that has been open for a long time.

Details