The theory of N,+,Vk,Vl is undecidable

Authors:
Roger Villemaire
Affiliations:
Univ. du Que´bec a` Montre´al, Montreal, P.Q., Canada
Venue:
Theoretical Computer Science
Year:
1992

Citing 0
Cited 3

On iterating linear transformations over recognizable sets of integers

Theoretical Computer Science
A generalization of Cobham's theorem to automata over real numbers

Theoretical Computer Science
A generalization of Cobham's theorem to automata over real numbers

ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming

Quantified Score

Hi-index	5.23

Visualization

Abstract