Rohit Chadha
AuthID: R-000-FN7
1
TÃTULO: Quantum computation tree logic - Model checking and complete calculus Full Text
AUTORES: Baltazar, P; Chadha, R; Mateus, P ;
PUBLICAÇÃO: 2008, FONTE: Lisbon Quantum Computation, Information and Logic Meeting on Quantum Cryptography and Security in INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, VOLUME: 6, NÚMERO: 2
AUTORES: Baltazar, P; Chadha, R; Mateus, P ;
PUBLICAÇÃO: 2008, FONTE: Lisbon Quantum Computation, Information and Logic Meeting on Quantum Cryptography and Security in INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, VOLUME: 6, NÚMERO: 2
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
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
