CCET - DM - Artigos publicados em periódicos : [10] Collection home page

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 10 of 10
Issue DateTitleAuthor(s)
17-Mar-2012Sinais e sistemas definidos sobre aritmética intervalar complexaSantana, Fabiana Tristão de; Santana, Fágner Lemos; Doria Neto, Adrião Duarte; Santiago, Regivan Hugo Nunes
1-Oct-2019Uma abordagem interdisciplinar para obtenção da melhor função aproximada para ajuste de dadosSantana, Fabiana Tristão de; Marcone, Marcos Henrique Fernandes; Santana, Fágner Lemos de
16-Sep-2019Inovação no processo de ensino e aprendizagem de álgebra linear usando o software geogebraSantana, Fabiana Tristão de; Macedo, Igor Michael Araujo de; Marcone, Marcos Henrique Fernandes; Santana, Fágner Lemos de
2014A proof theoretic study of soft concurrent constraint programmingPimentel, Elaine Gouvea; Nigam, Vivek; Vega, Carlos Alberto Olarte
2014Dynamic spaces in concurrent constraint programmingNigam, Vivek; Pimentel, Elaine Gouvea; Vega, Carlos Alberto Olarte
2015Subexponential concurrent constraint programmingPimentel, Elaine Gouvea; Nigam, Vivek; Vega, Carlos Alberto Olarte
2015Proving concurrent constraint programming correct, revisitedVega, Carlos Alberto Olarte; Pimentel, Elaine Gouvea
2017From cut-free calculi to automated deduction: the case of bounded contractionCiabattoni, Agata; Lellmann, Bjorn; Vega, Carlos Alberto Olarte; Pimentel, Elaine Gouvea
2017Hybrid and subexponential linear logicsDespeyroux, Joelle; Pimentel, Elaine Gouvea; Vega, Carlos Alberto Olarte
2017On concurrent behaviors and focusing in linear logicVega, Carlos Alberto Olarte; Pimentel, Elaine Gouvea
Collection's Items (Sorted by Submit Date in Descending order): 1 to 10 of 10