Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Revista
|
![]() |
South American Journal of LogicBrasil High Quality Peer-Reviewed Papers 2015-Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Artigo
|
![]() |
Remarks on propositional logics and the categorial relationship between institutions and Π-institutionsDarllan Conceição Pinto Hugo Luiz MarianoSouth American Journal of Logic Campinas v. 3, n. 1, p. 111–121, 2017Campinas 2017Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Artigo
|
![]() |
Proceedings of the XVIII Brazilian Logic Conference. [Preface]Jonas R. Becker Arenhart Hugo Luiz Mariano; Wagner C Sanz; Daniel Ventura; Brazilian Logic Conference - EBL (18. (2017 Pirenópolis, Goiás)South American Journal of Logic Campinas v. 4, n. 2, p. 253–256, 2018Campinas 2018Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Artigo de Congresso
|
![]() |
Remarks on expansions of the real field Tameness, Hardy fields and smooth ringsRodrigo Figueiredo Hugo Luiz Mariano; Brazilian Logic Conference - EBL (18. (2017 Pirenópolis, Goiás)South American Journal of Logic Campinas v. 4, n. 2, p. 373-383, 2018Campinas 2018Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Artigo
|
![]() |
A festschrift for Francisco Miraglia. [Foreword]Marcelo Esteban Coniglio Hugo Luiz Mariano; Vinicius Cifú Lopes; Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday (2016 São Paulo)South American Journal of Logic Campinas v. 2, n. 2, p. 159–163, 2016Campinas 2016Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Artigo de Congresso
|
![]() |
Analyzing categories of signaturesCaio A Mendes Hugo Luiz Mariano; Brazilian Logic Conference - EBL (18. (2017 Pirenópolis, Goiás)South American Journal of Logic Campinas v. 4, n. 2, p. 407-421, 2018Campinas 2018Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Artigo de Congresso
|
![]() |
Finitary filter pairs and propositional logicsPeter Arndt Hugo Luiz Mariano; Darllan Conceição Pinto; Brazilian Logic Conference - EBL (18. (2017 Pirenópolis, Goiás)South American Journal of Logic Campinas v. 4, n. 2, p. 257–280, 2018Campinas 2018Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Artigo
|
![]() |
Bringing AGM to computer scienceRenata Wassermann Márcio Moretto RibeiroSouth American Journal of Logic Campinas v. 1, n. 2, p. 447-459, 2015Campinas 2015Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Artigo de Congresso
|
![]() |
On the uncomputability of partial meet contraction for linear-time temporal logicPaulo T Guerra Renata Wassermann; Brazilian Logic Conference - EBL (18. (2017 Pirenópolis, Goiás)South American Journal of Logic Campinas v. 4, n. 2, p. 385-406, 2018Campinas 2018Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Artigo de Congresso
|
![]() |
Some model theory of hypergeometric and Pfaffian functionsRicardo Bianconi Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday (2016 São Paulo)South American Journal of Logic Campinas v. 2, n. 2, p. 297-318, 2016Campinas 2016Acesso online. A biblioteca também possui exemplares impressos. |