ReP USP - Resultado da busca

Artigo de periodico-apres/intr
Proceedings of the XVIII Brazilian Logic Conference. [Preface] (2018)
Arenhart, Jonas R. Becker ; Mariano, Hugo Luiz ; Sanz, Wagner C ; Ventura, Daniel
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARENHART, Jonas R. Becker et al. Proceedings of the XVIII Brazilian Logic Conference. [Preface]. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/01-Preface-EBL-SAJL.pdf. Acesso em: 27 nov. 2025. , 2018
APA
Arenhart, J. R. B., Mariano, H. L., Sanz, W. C., & Ventura, D. (2018). Proceedings of the XVIII Brazilian Logic Conference. [Preface]. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/01-Preface-EBL-SAJL.pdf
NLM
Arenhart JRB, Mariano HL, Sanz WC, Ventura D. Proceedings of the XVIII Brazilian Logic Conference. [Preface] [Internet]. South American Journal of Logic. 2018 ; 4( 2): 253–256.[citado 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v4-i2/01-Preface-EBL-SAJL.pdf
Vancouver
Arenhart JRB, Mariano HL, Sanz WC, Ventura D. Proceedings of the XVIII Brazilian Logic Conference. [Preface] [Internet]. South American Journal of Logic. 2018 ; 4( 2): 253–256.[citado 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v4-i2/01-Preface-EBL-SAJL.pdf
Trabalho de evento-anais periodico
Analyzing categories of signatures (2018)
Mendes, Caio A; Mariano, Hugo Luiz
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: LÓGICA, TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENDES, Caio A e MARIANO, Hugo Luiz. Analyzing categories of signatures. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/08-Mendes-Mariano-SAJL.pdf. Acesso em: 27 nov. 2025. , 2018
APA
Mendes, C. A., & Mariano, H. L. (2018). Analyzing categories of signatures. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/08-Mendes-Mariano-SAJL.pdf
NLM
Mendes CA, Mariano HL. Analyzing categories of signatures [Internet]. South American Journal of Logic. 2018 ; 4( 2): 407-421.[citado 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v4-i2/08-Mendes-Mariano-SAJL.pdf
Vancouver
Mendes CA, Mariano HL. Analyzing categories of signatures [Internet]. South American Journal of Logic. 2018 ; 4( 2): 407-421.[citado 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v4-i2/08-Mendes-Mariano-SAJL.pdf
Trabalho de evento-anais periodico
On the uncomputability of partial meet contraction for linear-time temporal logic (2018)
Guerra, Paulo T; Wassermann, Renata
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: LÓGICA, COMPUTABILIDADE E COMPLEXIDADE, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUERRA, Paulo T e WASSERMANN, Renata. On the uncomputability of partial meet contraction for linear-time temporal logic. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf. Acesso em: 27 nov. 2025. , 2018
APA
Guerra, P. T., & Wassermann, R. (2018). On the uncomputability of partial meet contraction for linear-time temporal logic. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf
NLM
Guerra PT, Wassermann R. On the uncomputability of partial meet contraction for linear-time temporal logic [Internet]. South American Journal of Logic. 2018 ; 4( 2): 385-406.[citado 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf
Vancouver
Guerra PT, Wassermann R. On the uncomputability of partial meet contraction for linear-time temporal logic [Internet]. South American Journal of Logic. 2018 ; 4( 2): 385-406.[citado 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf
Artigo de periodico-apres/intr
A festschrift for Francisco Miraglia. [Foreword] (2016)
Coniglio, Marcelo Esteban ; Mariano, Hugo Luiz ; Lopes, Vinicius Cifú
Source: South American Journal of Logic. Conference titles: Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CONIGLIO, Marcelo Esteban e MARIANO, Hugo Luiz e LOPES, Vinicius Cifú. A festschrift for Francisco Miraglia. [Foreword]. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf. Acesso em: 27 nov. 2025. , 2016
APA
Coniglio, M. E., Mariano, H. L., & Lopes, V. C. (2016). A festschrift for Francisco Miraglia. [Foreword]. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf
NLM
Coniglio ME, Mariano HL, Lopes VC. A festschrift for Francisco Miraglia. [Foreword] [Internet]. South American Journal of Logic. 2016 ; 2( 2): 159–163.[citado 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf
Vancouver
Coniglio ME, Mariano HL, Lopes VC. A festschrift for Francisco Miraglia. [Foreword] [Internet]. South American Journal of Logic. 2016 ; 2( 2): 159–163.[citado 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf
Artigo de periodico
Bringing AGM to computer science (2015)
Wassermann, Renata ; Ribeiro, Márcio Moretto
Source: South American Journal of Logic. Unidades: IME, EACH
Subjects: LÓGICA, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WASSERMANN, Renata e RIBEIRO, Márcio Moretto. Bringing AGM to computer science. South American Journal of Logic, v. 1, n. 2, p. 447-459, 2015Tradução . . Disponível em: http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf. Acesso em: 27 nov. 2025.
APA
Wassermann, R., & Ribeiro, M. M. (2015). Bringing AGM to computer science. South American Journal of Logic, 1( 2), 447-459. Recuperado de http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf
NLM
Wassermann R, Ribeiro MM. Bringing AGM to computer science [Internet]. South American Journal of Logic. 2015 ; 1( 2): 447-459.[citado 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf
Vancouver
Wassermann R, Ribeiro MM. Bringing AGM to computer science [Internet]. South American Journal of Logic. 2015 ; 1( 2): 447-459.[citado 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf

USP Schools

ReP

Filtros

Authors

Non normalized affiliation