TR-2007020: S4LP and Local Realizability


Autoria(s): Fitting, Melvin
Data(s)

01/01/2007

Formato

application/pdf

Identificador

http://academicworks.cuny.edu/gc_cs_tr/300

http://academicworks.cuny.edu/cgi/viewcontent.cgi?article=1299&context=gc_cs_tr

Idioma(s)

English

Publicador

CUNY Academic Works

Fonte

Computer Science Technical Reports

Palavras-Chave #Computer Sciences
Tipo

report