Vivek Nigam
AuthID: R-006-E1M
1
TÃTULO: Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
AUTORES: Vivek Nigam; Tajana Ban Kirigin; Carolyn L Talcott; Joshua D Guttman; Stepan Kuznetsov; Boon Thau Loo; Mitsuhiro Okada;
PUBLICAÇÃO: 2020, FONTE: Logic, Language, and Security, VOLUME: 12300
AUTORES: Vivek Nigam; Tajana Ban Kirigin; Carolyn L Talcott; Joshua D Guttman; Stepan Kuznetsov; Boon Thau Loo; Mitsuhiro Okada;
PUBLICAÇÃO: 2020, FONTE: Logic, Language, and Security, VOLUME: 12300
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: 11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016
AUTORES: Vivek Nigam; Mário Florido ;
PUBLICAÇÃO: 2017, FONTE: LSFA, VOLUME: 332
AUTORES: Vivek Nigam; Mário Florido ;
PUBLICAÇÃO: 2017, FONTE: LSFA, VOLUME: 332
INDEXADO EM: DBLP
DBLP3
TÃTULO: Preface
AUTORES: Vivek Nigam; Mário Florido ;
PUBLICAÇÃO: 2016, FONTE: 11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016, VOLUME: 332
AUTORES: Vivek Nigam; Mário Florido ;
PUBLICAÇÃO: 2016, FONTE: 11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016, VOLUME: 332
INDEXADO EM: DBLP
DBLP