TR-2007015: Justification Logics and Conservative Extensions


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

01/01/2007

Formato

application/pdf

Identificador

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

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

Idioma(s)

English

Publicador

CUNY Academic Works

Fonte

Computer Science Technical Reports

Palavras-Chave #Computer Sciences
Tipo

report