D. Macedonio
AuthID: R-006-K8M
1
TITLE: A hybrid intuitionistic logic: Semantics and decidability
AUTHORS: Chadha, R; Macedonio, D; Sassone, V;
PUBLISHED: 2006, SOURCE: LICS/ICALP Conference 2004 in JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 16, ISSUE: 1
AUTHORS: Chadha, R; Macedonio, D; Sassone, V;
PUBLISHED: 2006, SOURCE: LICS/ICALP Conference 2004 in JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 16, ISSUE: 1