Artículo:

Mathematical logic and formal languages

Página:

271

Sección:

Theory of computation

Publicación:

Computing Reviews

Volúmen:

46

Número:

4

Periodo:

April 2005

ISSN:

00104884

SrcID:

00104884-2005-04.txt