ReP USP - Resultado da busca

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
Fonte: Book of Abstracts. Nome do evento: 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
Fonte: Book of Abstracts. Nome do evento: 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
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
Fonte: Book of Abstracts. Nome do evento: 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
Fonte: Book of Abstracts. Nome do evento: 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
What do we see through a magic glass? Well-adapted bases of eigen-solutions and scientific production of objective realities (2019)
Stern, Julio Michael
Fonte: Book of Abstracts. Nome do evento: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assuntos: PROCESSAMENTO DE IMAGENS, EPISTEMOLOGIA, PROCESSOS COGNITIVOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael. What do we see through a magic glass? Well-adapted bases of eigen-solutions and scientific production of objective realities. 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
Stern, J. M. (2019). What do we see through a magic glass? Well-adapted bases of eigen-solutions and scientific production of objective realities. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Stern JM. What do we see through a magic glass? Well-adapted bases of eigen-solutions and scientific production of objective realities [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Stern JM. What do we see through a magic glass? Well-adapted bases of eigen-solutions and scientific production of objective realities [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
Logics in artificial intelligence (2019)
Wassermann, Renata
Fonte: Book of Abstracts. Nome do evento: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assuntos: INTELIGÊNCIA ARTIFICIAL, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WASSERMANN, Renata. Logics in artificial intelligence. 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
Wassermann, R. (2019). Logics in artificial intelligence. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Wassermann R. Logics in artificial intelligence [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Wassermann R. Logics in artificial intelligence [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
Sparse models: a tractable fragment for SAT, MAXSAT and PSAT (2019)
Finger, Marcelo
Fonte: Book of Abstracts. Nome do evento: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assuntos: LÓGICA, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT. 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
Finger, M. (2019). Sparse models: a tractable fragment for SAT, MAXSAT and PSAT. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Finger M. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Finger M. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT [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
Horn filter pairs and Craig interpolation property (2019)
Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Fonte: Book of Abstracts. Nome do evento: 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
Representing rational McNaughton functions via MODSAT relativisation (2019)
Preto, Sandro ; Finger, Marcelo
Fonte: Book of Abstracts. Nome do evento: 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
PRETO, Sandro e FINGER, Marcelo. Representing rational McNaughton functions via MODSAT relativisation. 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
Preto, S., & Finger, M. (2019). Representing rational McNaughton functions via MODSAT relativisation. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Preto S, Finger M. Representing rational McNaughton functions via MODSAT relativisation [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Preto S, Finger M. Representing rational McNaughton functions via MODSAT relativisation [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
Fonte: Book of Abstracts. Nome do evento: 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
Categorial forms of the axiom of choice (2014)
Brunner, Andreas Bernhard Michael; Silva, Samuel Gomes da; Mariano, Hugo Luiz
Fonte: Book of Abstracts. Nome do evento: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assuntos: TEORIA DOS CONJUNTOS, 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 e SILVA, Samuel Gomes da e MARIANO, Hugo Luiz. Categorial forms of the axiom of choice. 2014, Anais.. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo, 2014. Disponível em: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf. Acesso em: 19 abr. 2024.
APA
Brunner, A. B. M., Silva, S. G. da, & Mariano, H. L. (2014). Categorial forms of the axiom of choice. In Book of Abstracts. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
NLM
Brunner ABM, Silva SG da, Mariano HL. Categorial forms of the axiom of choice [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Vancouver
Brunner ABM, Silva SG da, Mariano HL. Categorial forms of the axiom of choice [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Trabalho de evento-resumo
Probabilistic abduction for PSAT (2014)
Arruda, Alexandre Matos; Finger, Marcelo
Fonte: Book of Abstracts. Nome do evento: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assuntos: INTELIGÊNCIA ARTIFICIAL, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARRUDA, Alexandre Matos e FINGER, Marcelo. Probabilistic abduction for PSAT. 2014, Anais.. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo, 2014. Disponível em: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf. Acesso em: 19 abr. 2024.
APA
Arruda, A. M., & Finger, M. (2014). Probabilistic abduction for PSAT. In Book of Abstracts. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
NLM
Arruda AM, Finger M. Probabilistic abduction for PSAT [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Vancouver
Arruda AM, Finger M. Probabilistic abduction for PSAT [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Trabalho de evento-resumo
Some preservation properties of the profinite hull functor of special groups and applications (2014)
Mariano, Hugo Luiz ; Miraglia Neto, Francisco
Fonte: Book of Abstracts. Nome do evento: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, ÁLGEBRA HOMOLÓGICA, TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz e MIRAGLIA NETO, Francisco. Some preservation properties of the profinite hull functor of special groups and applications. 2014, Anais.. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo, 2014. Disponível em: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf. Acesso em: 19 abr. 2024.
APA
Mariano, H. L., & Miraglia Neto, F. (2014). Some preservation properties of the profinite hull functor of special groups and applications. In Book of Abstracts. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
NLM
Mariano HL, Miraglia Neto F. Some preservation properties of the profinite hull functor of special groups and applications [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Vancouver
Mariano HL, Miraglia Neto F. Some preservation properties of the profinite hull functor of special groups and applications [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Trabalho de evento-resumo
Representation theory of logics: a categorial approach (2014)
Pinto, Darllan C; Mariano, Hugo Luiz
Fonte: Book of Abstracts. Nome do evento: 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
PINTO, Darllan C e MARIANO, Hugo Luiz. Representation theory of logics: a categorial approach. 2014, Anais.. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo, 2014. Disponível em: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf. Acesso em: 19 abr. 2024.
APA
Pinto, D. C., & Mariano, H. L. (2014). Representation theory of logics: a categorial approach. In Book of Abstracts. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
NLM
Pinto DC, Mariano HL. Representation theory of logics: a categorial approach [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Vancouver
Pinto DC, Mariano HL. Representation theory of logics: a categorial approach [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Trabalho de evento-resumo
A global approach to AECs (2014)
Mariano, Hugo Luiz ; Zambrano, Pedro H; Villaveces, Andrés
Fonte: Book of Abstracts. Nome do evento: 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
MARIANO, Hugo Luiz e ZAMBRANO, Pedro H e VILLAVECES, Andrés. A global approach to AECs. 2014, Anais.. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo, 2014. Disponível em: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf. Acesso em: 19 abr. 2024.
APA
Mariano, H. L., Zambrano, P. H., & Villaveces, A. (2014). A global approach to AECs. In Book of Abstracts. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
NLM
Mariano HL, Zambrano PH, Villaveces A. A global approach to AECs [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Vancouver
Mariano HL, Zambrano PH, Villaveces A. A global approach to AECs [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Trabalho de evento-resumo
Towards a good notion of categories of logics (2014)
Mendes, Caio A; Mariano, Hugo Luiz
Fonte: Book of Abstracts. Nome do evento: 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
MENDES, Caio A e MARIANO, Hugo Luiz. Towards a good notion of categories of logics. 2014, Anais.. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo, 2014. Disponível em: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf. Acesso em: 19 abr. 2024.
APA
Mendes, C. A., & Mariano, H. L. (2014). Towards a good notion of categories of logics. In Book of Abstracts. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
NLM
Mendes CA, Mariano HL. Towards a good notion of categories of logics [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Vancouver
Mendes CA, Mariano HL. Towards a good notion of categories of logics [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf

Unidades USP

ReP

Filtros

Autores

Autores USP

Assuntos