Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)
2015	Equações do segundo grau e mudança de variáveis	Silva, Márcio Vieira da; Pereira, Andre Gustavo Campos
17-Mar-2012	Sinais e sistemas definidos sobre aritmética intervalar complexa	Santana, Fabiana Tristão de; Santana, Fágner Lemos; Doria Neto, Adrião Duarte; Santiago, Regivan Hugo Nunes
1-Oct-2019	Uma abordagem interdisciplinar para obtenção da melhor função aproximada para ajuste de dados	Santana, Fabiana Tristão de; Marcone, Marcos Henrique Fernandes; Santana, Fágner Lemos de
16-Sep-2019	Inovação no processo de ensino e aprendizagem de álgebra linear usando o software geogebra	Santana, Fabiana Tristão de; Macedo, Igor Michael Araujo de; Marcone, Marcos Henrique Fernandes; Santana, Fágner Lemos de
2014	A proof theoretic study of soft concurrent constraint programming	Pimentel, Elaine Gouvea; Nigam, Vivek; Vega, Carlos Alberto Olarte
2014	Dynamic spaces in concurrent constraint programming	Nigam, Vivek; Pimentel, Elaine Gouvea; Vega, Carlos Alberto Olarte
2015	Subexponential concurrent constraint programming	Pimentel, Elaine Gouvea; Nigam, Vivek; Vega, Carlos Alberto Olarte
2015	Proving concurrent constraint programming correct, revisited	Vega, Carlos Alberto Olarte; Pimentel, Elaine Gouvea
2017	From cut-free calculi to automated deduction: the case of bounded contraction	Ciabattoni, Agata; Lellmann, Bjorn; Vega, Carlos Alberto Olarte; Pimentel, Elaine Gouvea
2017	Hybrid and subexponential linear logics	Despeyroux, Joelle; Pimentel, Elaine Gouvea; Vega, Carlos Alberto Olarte
2017	On concurrent behaviors and focusing in linear logic	Vega, Carlos Alberto Olarte; Pimentel, Elaine Gouvea