D. Macedonio
AuthID: R-006-K8M
1
TÃTULO: A hybrid intuitionistic logic: Semantics and decidability
AUTORES: Chadha, R; Macedonio, D; Sassone, V;
PUBLICAÇÃO: 2006, FONTE: LICS/ICALP Conference 2004 in JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 16, NÚMERO: 1
AUTORES: Chadha, R; Macedonio, D; Sassone, V;
PUBLICAÇÃO: 2006, FONTE: LICS/ICALP Conference 2004 in JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 16, NÚMERO: 1
