Artículo:

Fixpoint Logics, Relational Machines, and Computational Complexity

Autor:

S. Abiteboul

.Vardi

V. Vianu

Página:

30

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

44

Número:

1

Periodo:

Enero 1997

ISSN:

00045411

SrcID:

00045411-1997-01.TXT