Artículo:

Mathematical logic and formal Languages

Página:

243

Publicación:

Computing Reviews

Volúmen:

51

Número:

4

Periodo:

Abril 2010

ISSN:

00104884

SrcID:

00104884-2010-04.txt