ReP USP - Resultado da busca

Monografia/livro
Uma jornada pelas teorias algébricas de formas quadráticas (2021)
Mariano, Hugo Luiz ; Ribeiro, Hugo Rafael de Oliveira; Roberto, Kaique Matias de Andrade
Unidade: IME
Subjects: FORMAS QUADRÁTICAS, MATEMÁTICA, ÁLGEBRA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz e RIBEIRO, Hugo Rafael de Oliveira e ROBERTO, Kaique Matias de Andrade. Uma jornada pelas teorias algébricas de formas quadráticas. . São Paulo: Livraria da Física. . Acesso em: 19 abr. 2024. , 2021
APA
Mariano, H. L., Ribeiro, H. R. de O., & Roberto, K. M. de A. (2021). Uma jornada pelas teorias algébricas de formas quadráticas. São Paulo: Livraria da Física.
NLM
Mariano HL, Ribeiro HR de O, Roberto KM de A. Uma jornada pelas teorias algébricas de formas quadráticas. 2021 ;[citado 2024 abr. 19 ]
Vancouver
Mariano HL, Ribeiro HR de O, Roberto KM de A. Uma jornada pelas teorias algébricas de formas quadráticas. 2021 ;[citado 2024 abr. 19 ]
Artigo de periodico
Um convite ao estudo da teoria das categorias (2021)
Mariano, Hugo Luiz ; Meleiro, Juan Ferrer
Source: Intermaths. Unidade: IME
Assunto: TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz e MELEIRO, Juan Ferrer. Um convite ao estudo da teoria das categorias. Intermaths, v. 2, n. 2, p. 14-22, 2021Tradução . . Disponível em: https://doi.org/10.22481/intermaths.v2i2.10099. Acesso em: 19 abr. 2024.
APA
Mariano, H. L., & Meleiro, J. F. (2021). Um convite ao estudo da teoria das categorias. Intermaths, 2( 2), 14-22. doi:10.22481/intermaths.v2i2.10099
NLM
Mariano HL, Meleiro JF. Um convite ao estudo da teoria das categorias [Internet]. Intermaths. 2021 ; 2( 2): 14-22.[citado 2024 abr. 19 ] Available from: https://doi.org/10.22481/intermaths.v2i2.10099
Vancouver
Mariano HL, Meleiro JF. Um convite ao estudo da teoria das categorias [Internet]. Intermaths. 2021 ; 2( 2): 14-22.[citado 2024 abr. 19 ] Available from: https://doi.org/10.22481/intermaths.v2i2.10099
Artigo de periodico
A teoria algébrica de formas quadráticas aplicada a uma disputa entre dois orixás (2021)
Roberto, Kaique Matias de Andrade ; Mariano, Hugo Luiz
Source: Brazilian Electronic Journal of Mathematics. Unidade: IME
Assunto: FORMAS QUADRÁTICAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROBERTO, Kaique Matias de Andrade e MARIANO, Hugo Luiz. A teoria algébrica de formas quadráticas aplicada a uma disputa entre dois orixás. Brazilian Electronic Journal of Mathematics, v. 2, n. 4, p. 48-80, 2021Tradução . . Disponível em: https://seer.ufu.br/index.php/BEJOM/article/view/58457. Acesso em: 19 abr. 2024.
APA
Roberto, K. M. de A., & Mariano, H. L. (2021). A teoria algébrica de formas quadráticas aplicada a uma disputa entre dois orixás. Brazilian Electronic Journal of Mathematics, 2( 4), 48-80. Recuperado de https://seer.ufu.br/index.php/BEJOM/article/view/58457
NLM
Roberto KM de A, Mariano HL. A teoria algébrica de formas quadráticas aplicada a uma disputa entre dois orixás [Internet]. Brazilian Electronic Journal of Mathematics. 2021 ; 2( 4): 48-80.[citado 2024 abr. 19 ] Available from: https://seer.ufu.br/index.php/BEJOM/article/view/58457
Vancouver
Roberto KM de A, Mariano HL. A teoria algébrica de formas quadráticas aplicada a uma disputa entre dois orixás [Internet]. Brazilian Electronic Journal of Mathematics. 2021 ; 2( 4): 48-80.[citado 2024 abr. 19 ] Available from: https://seer.ufu.br/index.php/BEJOM/article/view/58457
Artigo de periodico
On sheaf cohomology and natural expansions (2021)
Tenorio, Ana Luiza ; Mariano, Hugo Luiz
Source: São Paulo Journal of Mathematical Sciences. Unidade: IME
Subjects: CATEGORIAS TOPOLÓGICAS, TOPOLOGIA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TENORIO, Ana Luiza e MARIANO, Hugo Luiz. On sheaf cohomology and natural expansions. São Paulo Journal of Mathematical Sciences, v. 15, n. 2, p. 571-614, 2021Tradução . . Disponível em: https://doi.org/10.1007/s40863-021-00246-z. Acesso em: 19 abr. 2024.
APA
Tenorio, A. L., & Mariano, H. L. (2021). On sheaf cohomology and natural expansions. São Paulo Journal of Mathematical Sciences, 15( 2), 571-614. doi:10.1007/s40863-021-00246-z
NLM
Tenorio AL, Mariano HL. On sheaf cohomology and natural expansions [Internet]. São Paulo Journal of Mathematical Sciences. 2021 ; 15( 2): 571-614.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/s40863-021-00246-z
Vancouver
Tenorio AL, Mariano HL. On sheaf cohomology and natural expansions [Internet]. São Paulo Journal of Mathematical Sciences. 2021 ; 15( 2): 571-614.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/s40863-021-00246-z
Trabalho de evento-resumo
Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras (2019)
Alvim, José; Cahali, Arthur; Mariano, Hugo Luiz
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: ÁLGEBRAS DE BOOLE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALVIM, José e CAHALI, Arthur e MARIANO, Hugo Luiz. Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 19 abr. 2024.
APA
Alvim, J., Cahali, A., & Mariano, H. L. (2019). Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Alvim J, Cahali A, Mariano HL. Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Alvim J, Cahali A, Mariano HL. Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
Algebraizing higher-order logics (2019)
Mendes, Caio; Mariano, Hugo Luiz
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENDES, Caio e MARIANO, Hugo Luiz. Algebraizing higher-order logics. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 19 abr. 2024.
APA
Mendes, C., & Mariano, H. L. (2019). Algebraizing higher-order logics. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Mendes C, Mariano HL. Algebraizing higher-order logics [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Mendes C, Mariano HL. Algebraizing higher-order logics [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Artigo de periodico
Prime gaps and the Firoozbakht conjecture (2019)
Ferreira, Luan Alberto ; Mariano, Hugo Luiz
Source: São Paulo Journal of Mathematical Sciences. Unidade: IME
Assunto: PRIMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERREIRA, Luan Alberto e MARIANO, Hugo Luiz. Prime gaps and the Firoozbakht conjecture. São Paulo Journal of Mathematical Sciences, v. 13, n. 2, p. 652–662, 2019Tradução . . Disponível em: https://doi.org/10.1007/s40863-018-0113-0. Acesso em: 19 abr. 2024.
APA
Ferreira, L. A., & Mariano, H. L. (2019). Prime gaps and the Firoozbakht conjecture. São Paulo Journal of Mathematical Sciences, 13( 2), 652–662. doi:10.1007/s40863-018-0113-0
NLM
Ferreira LA, Mariano HL. Prime gaps and the Firoozbakht conjecture [Internet]. São Paulo Journal of Mathematical Sciences. 2019 ; 13( 2): 652–662.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/s40863-018-0113-0
Vancouver
Ferreira LA, Mariano HL. Prime gaps and the Firoozbakht conjecture [Internet]. São Paulo Journal of Mathematical Sciences. 2019 ; 13( 2): 652–662.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/s40863-018-0113-0
Trabalho de evento
Alguns comentários sobre a questão da identidade entre lógicas (2019)
Mariano, Hugo Luiz
Source: Seminário Lógica no Avião: 2013 - 2018. Conference titles: Seminário Permanente Lógica no Avião. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz. Alguns comentários sobre a questão da identidade entre lógicas. 2019, Anais.. Brasília: PPGFIL/UnB, 2019. Disponível em: http://lna.unb.br/lna_n01_book.pdf. Acesso em: 19 abr. 2024.
APA
Mariano, H. L. (2019). Alguns comentários sobre a questão da identidade entre lógicas. In Seminário Lógica no Avião: 2013 - 2018. Brasília: PPGFIL/UnB. Recuperado de http://lna.unb.br/lna_n01_book.pdf
NLM
Mariano HL. Alguns comentários sobre a questão da identidade entre lógicas [Internet]. Seminário Lógica no Avião: 2013 - 2018. 2019 ;[citado 2024 abr. 19 ] Available from: http://lna.unb.br/lna_n01_book.pdf
Vancouver
Mariano HL. Alguns comentários sobre a questão da identidade entre lógicas [Internet]. Seminário Lógica no Avião: 2013 - 2018. 2019 ;[citado 2024 abr. 19 ] Available from: http://lna.unb.br/lna_n01_book.pdf
Trabalho de evento-resumo
Beyond the categorial forms of the axiom of choice (2019)
Brunner, Andreas Bernhard Michael ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição; Silva, Samuel Gomes da
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUNNER, Andreas Bernhard Michael et al. Beyond the categorial forms of the axiom of choice. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 19 abr. 2024.
APA
Brunner, A. B. M., Mariano, H. L., Pinto, D. C., & Silva, S. G. da. (2019). Beyond the categorial forms of the axiom of choice. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. Beyond the categorial forms of the axiom of choice [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. Beyond the categorial forms of the axiom of choice [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras (2019)
Berni, Jean Cerqueira; Mariano, Hugo Luiz
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: ÁLGEBRAS DE BOOLE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BERNI, Jean Cerqueira e MARIANO, Hugo Luiz. Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 19 abr. 2024.
APA
Berni, J. C., & Mariano, H. L. (2019). Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Berni JC, Mariano HL. Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Berni JC, Mariano HL. Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
A Galois group functor for the category of special groups (2019)
Mariano, Hugo Luiz
Conference titles: Joint Meeting Brazil-France in Mathematics. Unidade: IME
Assunto: TEORIA DE GALOIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz. A Galois group functor for the category of special groups. 2019, Anais.. Rio de Janeiro: Impa, 2019. Disponível em: https://impa.br/wp-content/uploads/2019/07/Book-of-abstracts.pdf. Acesso em: 19 abr. 2024.
APA
Mariano, H. L. (2019). A Galois group functor for the category of special groups. In . Rio de Janeiro: Impa. Recuperado de https://impa.br/wp-content/uploads/2019/07/Book-of-abstracts.pdf
NLM
Mariano HL. A Galois group functor for the category of special groups [Internet]. 2019 ;[citado 2024 abr. 19 ] Available from: https://impa.br/wp-content/uploads/2019/07/Book-of-abstracts.pdf
Vancouver
Mariano HL. A Galois group functor for the category of special groups [Internet]. 2019 ;[citado 2024 abr. 19 ] Available from: https://impa.br/wp-content/uploads/2019/07/Book-of-abstracts.pdf
Trabalho de evento-resumo
Horn filter pairs and Craig interpolation property (2019)
Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Horn filter pairs and Craig interpolation property. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 19 abr. 2024.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2019). Horn filter pairs and Craig interpolation property. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation property [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation property [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
Alguns apontamentos sobre multi-álgebra universal (2019)
Roberto, Kaique; Mariano, Hugo Luiz
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROBERTO, Kaique e MARIANO, Hugo Luiz. Alguns apontamentos sobre multi-álgebra universal. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 19 abr. 2024.
APA
Roberto, K., & Mariano, H. L. (2019). Alguns apontamentos sobre multi-álgebra universal. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Roberto K, Mariano HL. Alguns apontamentos sobre multi-álgebra universal [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Roberto K, Mariano HL. Alguns apontamentos sobre multi-álgebra universal [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
An abstract approach to algebraizable logics with quantifiers (2018)
Mendes, Caio de Andrade; Mariano, Hugo Luiz
Source: Handbook of abstracts. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENDES, Caio de Andrade e MARIANO, Hugo Luiz. An abstract approach to algebraizable logics with quantifiers. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 19 abr. 2024.
APA
Mendes, C. de A., & Mariano, H. L. (2018). An abstract approach to algebraizable logics with quantifiers. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
NLM
Mendes C de A, Mariano HL. An abstract approach to algebraizable logics with quantifiers [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 19 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Vancouver
Mendes C de A, Mariano HL. An abstract approach to algebraizable logics with quantifiers [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 19 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Trabalho de evento-anais periodico
More on categorial forms of the axiom of choice (2018)
Brunner, Andreas Bernhard Michael ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição; Silva, Samuel G. da
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: TEORIA DOS CONJUNTOS, TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUNNER, Andreas Bernhard Michael et al. More on categorial forms of the axiom of choice. 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/05-Brunner-Mariano-Pinto-da%20Silva-SAJL.pdf. Acesso em: 19 abr. 2024. , 2018
APA
Brunner, A. B. M., Mariano, H. L., Pinto, D. C., & Silva, S. G. da. (2018). More on categorial forms of the axiom of choice. 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/05-Brunner-Mariano-Pinto-da%20Silva-SAJL.pdf
NLM
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. More on categorial forms of the axiom of choice [Internet]. South American Journal of Logic. 2018 ; 4( 2): 351–372.[citado 2024 abr. 19 ] Available from: http://www.sa-logic.org/sajl-v4-i2/05-Brunner-Mariano-Pinto-da%20Silva-SAJL.pdf
Vancouver
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. More on categorial forms of the axiom of choice [Internet]. South American Journal of Logic. 2018 ; 4( 2): 351–372.[citado 2024 abr. 19 ] Available from: http://www.sa-logic.org/sajl-v4-i2/05-Brunner-Mariano-Pinto-da%20Silva-SAJL.pdf
Trabalho de evento-resumo
Beyond the categorial forms of the axiom of choice (2018)
Brunner, Andreas Bernhard Michael; Pinto, Darllan Conceição; Silva, Samuel Gomes da; Mariano, Hugo Luiz
Source: Handbook of abstracts. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUNNER, Andreas Bernhard Michael et al. Beyond the categorial forms of the axiom of choice. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 19 abr. 2024.
APA
Brunner, A. B. M., Pinto, D. C., Silva, S. G. da, & Mariano, H. L. (2018). Beyond the categorial forms of the axiom of choice. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
NLM
Brunner ABM, Pinto DC, Silva SG da, Mariano HL. Beyond the categorial forms of the axiom of choice [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 19 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Vancouver
Brunner ABM, Pinto DC, Silva SG da, Mariano HL. Beyond the categorial forms of the axiom of choice [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 19 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Trabalho de evento-resumo
Filter pairs: a new way of presenting logics (2018)
Arndt, Peter; Jansana, Ramon; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: Handbook of abstracts. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter et al. Filter pairs: a new way of presenting logics. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 19 abr. 2024.
APA
Arndt, P., Jansana, R., Mariano, H. L., & Pinto, D. C. (2018). Filter pairs: a new way of presenting logics. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
NLM
Arndt P, Jansana R, Mariano HL, Pinto DC. Filter pairs: a new way of presenting logics [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 19 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Vancouver
Arndt P, Jansana R, Mariano HL, Pinto DC. Filter pairs: a new way of presenting logics [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 19 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Trabalho de evento-anais periodico
Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings (2018)
Figueiredo, Rodrigo; Mariano, Hugo Luiz
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FIGUEIREDO, Rodrigo e MARIANO, Hugo Luiz. Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings. 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/06-Figueiredo-Mariano-SAJL.pdf. Acesso em: 19 abr. 2024. , 2018
APA
Figueiredo, R., & Mariano, H. L. (2018). Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings. 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/06-Figueiredo-Mariano-SAJL.pdf
NLM
Figueiredo R, Mariano HL. Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings [Internet]. South American Journal of Logic. 2018 ; 4( 2): 373-383.[citado 2024 abr. 19 ] Available from: http://www.sa-logic.org/sajl-v4-i2/06-Figueiredo-Mariano-SAJL.pdf
Vancouver
Figueiredo R, Mariano HL. Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings [Internet]. South American Journal of Logic. 2018 ; 4( 2): 373-383.[citado 2024 abr. 19 ] Available from: http://www.sa-logic.org/sajl-v4-i2/06-Figueiredo-Mariano-SAJL.pdf
Trabalho de evento-anais periodico
Classifying toposes for some theories of 'C POT. ∞'−rings (2018)
Berni, Jean Cerqueira ; Mariano, Hugo Luiz
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Assunto: ANÉIS E ÁLGEBRAS ASSOCIATIVOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BERNI, Jean Cerqueira e MARIANO, Hugo Luiz. Classifying toposes for some theories of 'C POT. ∞'−rings. 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/04-Berni-Mariano-SAJL.pdf. Acesso em: 19 abr. 2024. , 2018
APA
Berni, J. C., & Mariano, H. L. (2018). Classifying toposes for some theories of 'C POT. ∞'−rings. 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/04-Berni-Mariano-SAJL.pdf
NLM
Berni JC, Mariano HL. Classifying toposes for some theories of 'C POT. ∞'−rings [Internet]. South American Journal of Logic. 2018 ; 4( 2): 313–350.[citado 2024 abr. 19 ] Available from: http://www.sa-logic.org/sajl-v4-i2/04-Berni-Mariano-SAJL.pdf
Vancouver
Berni JC, Mariano HL. Classifying toposes for some theories of 'C POT. ∞'−rings [Internet]. South American Journal of Logic. 2018 ; 4( 2): 313–350.[citado 2024 abr. 19 ] Available from: http://www.sa-logic.org/sajl-v4-i2/04-Berni-Mariano-SAJL.pdf
Parte de monografia/livro
Reconciling first-order logic to algebra (2018)
Carnielli, Walter Alexandre ; Mariano, Hugo Luiz ; Matulovic, Mariana
Source: Contradictions, from consistency to inconsistency. Unidade: IME
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARNIELLI, Walter Alexandre e MARIANO, Hugo Luiz e MATULOVIC, Mariana. Reconciling first-order logic to algebra. Contradictions, from consistency to inconsistency. Tradução . Cham: Springer, 2018. . Disponível em: https://doi.org/10.1007/978-3-319-98797-2_13. Acesso em: 19 abr. 2024.
APA
Carnielli, W. A., Mariano, H. L., & Matulovic, M. (2018). Reconciling first-order logic to algebra. In Contradictions, from consistency to inconsistency. Cham: Springer. doi:10.1007/978-3-319-98797-2_13
NLM
Carnielli WA, Mariano HL, Matulovic M. Reconciling first-order logic to algebra [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_13
Vancouver
Carnielli WA, Mariano HL, Matulovic M. Reconciling first-order logic to algebra [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_13

USP Schools

ReP

Filtros

Document Types

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Non normalized affiliation

Countries of institutions of collaboration