Artículo:

Logics and meanings of programs Mathematical logic and formal languages.

Página:

117

Publicación:

COMPUTING REVIEWS ISSN 00104884

Volúmen:

41

Número:

2

Periodo:

FEBRUARY 2000

SrcID:

2000-02TING.TXT