Rohit Chadha
AuthID: R-000-FN7
1
TITLE: Quantum computation tree logic - Model checking and complete calculus Full Text
AUTHORS: Baltazar, P; Chadha, R; Mateus, P ;
PUBLISHED: 2008, SOURCE: Lisbon Quantum Computation, Information and Logic Meeting on Quantum Cryptography and Security in INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, VOLUME: 6, ISSUE: 2
AUTHORS: Baltazar, P; Chadha, R; Mateus, P ;
PUBLISHED: 2008, SOURCE: Lisbon Quantum Computation, Information and Logic Meeting on Quantum Cryptography and Security in INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, VOLUME: 6, ISSUE: 2
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
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
