ReP USP - Resultado da busca

Trabalho de evento-resumo
A note on lattices with a symmetric difference like operation (2025)
Miraglia Neto, Francisco ; Petrovich, Alejandro
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: ÁLGEBRAS DE BOOLE, RETICULADOS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIRAGLIA NETO, Francisco e PETROVICH, Alejandro. A note on lattices with a symmetric difference like operation. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 25-26. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 30 jul. 2025.
APA
Miraglia Neto, F., & Petrovich, A. (2025). A note on lattices with a symmetric difference like operation. In Book of abstracts (p. 25-26). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Miraglia Neto F, Petrovich A. A note on lattices with a symmetric difference like operation [Internet]. Book of abstracts. 2025 ; 25-26.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Miraglia Neto F, Petrovich A. A note on lattices with a symmetric difference like operation [Internet]. Book of abstracts. 2025 ; 25-26.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Sheaves on quantales and their truth values (2025)
Tenorio, Ana Luiza ; Mendes, Caio de Andrade ; Mariano, Hugo Luiz
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, FEIXES, ESTRUTURAS ALGÉBRICAS ORDENADAS, TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TENORIO, Ana Luiza e MENDES, Caio de Andrade e MARIANO, Hugo Luiz. Sheaves on quantales and their truth values. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 90-91. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 30 jul. 2025.
APA
Tenorio, A. L., Mendes, C. de A., & Mariano, H. L. (2025). Sheaves on quantales and their truth values. In Book of abstracts (p. 90-91). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Tenorio AL, Mendes C de A, Mariano HL. Sheaves on quantales and their truth values [Internet]. Book of abstracts. 2025 ; 90-91.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Tenorio AL, Mendes C de A, Mariano HL. Sheaves on quantales and their truth values [Internet]. Book of abstracts. 2025 ; 90-91.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Critical analysis of AGM postulates for ontology repair (2025)
Rocha, Anne; Lima, João Pedro de; Wassermann, Renata
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: REVISÃO DE CRENÇAS, ONTOLOGIAS, INTELIGÊNCIA ARTIFICIAL, LÓGICA, OPERADORES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Anne e LIMA, João Pedro de e WASSERMANN, Renata. Critical analysis of AGM postulates for ontology repair. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 99-100. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 30 jul. 2025.
APA
Rocha, A., Lima, J. P. de, & Wassermann, R. (2025). Critical analysis of AGM postulates for ontology repair. In Book of abstracts (p. 99-100). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Rocha A, Lima JP de, Wassermann R. Critical analysis of AGM postulates for ontology repair [Internet]. Book of abstracts. 2025 ; 99-100.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Rocha A, Lima JP de, Wassermann R. Critical analysis of AGM postulates for ontology repair [Internet]. Book of abstracts. 2025 ; 99-100.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
On categories of o-minimal structures (2025)
Figueiredo, Rodrigo ; Mariano, Hugo Luiz
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: TEORIA DAS CATEGORIAS, TEORIA DOS MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FIGUEIREDO, Rodrigo e MARIANO, Hugo Luiz. On categories of o-minimal structures. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 237-238. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 30 jul. 2025.
APA
Figueiredo, R., & Mariano, H. L. (2025). On categories of o-minimal structures. In Book of abstracts (p. 237-238). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Figueiredo R, Mariano HL. On categories of o-minimal structures [Internet]. Book of abstracts. 2025 ; 237-238.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Figueiredo R, Mariano HL. On categories of o-minimal structures [Internet]. Book of abstracts. 2025 ; 237-238.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Construtibilidade e teoria dos modelos internos (2025)
Campos, Mateus Jesus de Arruda; Fajardo, Rogério Augusto dos Santos
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: TEORIA DOS CONJUNTOS, LINGUAGEM, MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CAMPOS, Mateus Jesus de Arruda e FAJARDO, Rogério Augusto dos Santos. Construtibilidade e teoria dos modelos internos. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 302. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 30 jul. 2025.
APA
Campos, M. J. de A., & Fajardo, R. A. dos S. (2025). Construtibilidade e teoria dos modelos internos. In Book of abstracts (p. 302). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Campos MJ de A, Fajardo RA dos S. Construtibilidade e teoria dos modelos internos [Internet]. Book of abstracts. 2025 ; 302.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Campos MJ de A, Fajardo RA dos S. Construtibilidade e teoria dos modelos internos [Internet]. Book of abstracts. 2025 ; 302.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Horn semantics and Craig interpolation (2025)
Arndt, Peter; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: SEMÂNTICA, INTERPOLAÇÃO, 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 semantics and Craig interpolation. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 218-219. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 30 jul. 2025.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2025). Horn semantics and Craig interpolation. In Book of abstracts (p. 218-219). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Arndt P, Mariano HL, Pinto DC. Horn semantics and Craig interpolation [Internet]. Book of abstracts. 2025 ; 218-219.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Arndt P, Mariano HL, Pinto DC. Horn semantics and Craig interpolation [Internet]. Book of abstracts. 2025 ; 218-219.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
On connections between forcing relations (2025)
Smykalla, Michel Viana; Mariano, Hugo Luiz
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: TEORIA DOS MODELOS, FEIXES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SMYKALLA, Michel Viana e MARIANO, Hugo Luiz. On connections between forcing relations. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 211. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 30 jul. 2025.
APA
Smykalla, M. V., & Mariano, H. L. (2025). On connections between forcing relations. In Book of abstracts (p. 211). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Smykalla MV, Mariano HL. On connections between forcing relations [Internet]. Book of abstracts. 2025 ; 211.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Smykalla MV, Mariano HL. On connections between forcing relations [Internet]. Book of abstracts. 2025 ; 211.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Model theory of sheaves of metric spaces of analytic functions (2025)
Bianconi, Ricardo
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: TEORIA DOS MODELOS, FEIXES, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BIANCONI, Ricardo. Model theory of sheaves of metric spaces of analytic functions. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 310-311. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 30 jul. 2025.
APA
Bianconi, R. (2025). Model theory of sheaves of metric spaces of analytic functions. In Book of abstracts (p. 310-311). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Bianconi R. Model theory of sheaves of metric spaces of analytic functions [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Bianconi R. Model theory of sheaves of metric spaces of analytic functions [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Nonstandard formulae and model-theoretic paradoxes (2025)
Fajardo, Rogério Augusto dos Santos
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: TEORIA DOS MODELOS, TEORIA DOS CONJUNTOS, ARITMÉTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FAJARDO, Rogério Augusto dos Santos. Nonstandard formulae and model-theoretic paradoxes. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 239-240. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 30 jul. 2025.
APA
Fajardo, R. A. dos S. (2025). Nonstandard formulae and model-theoretic paradoxes. In Book of abstracts (p. 239-240). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Fajardo RA dos S. Nonstandard formulae and model-theoretic paradoxes [Internet]. Book of abstracts. 2025 ; 239-240.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Fajardo RA dos S. Nonstandard formulae and model-theoretic paradoxes [Internet]. Book of abstracts. 2025 ; 239-240.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Topological derivative-based shape optimization with pointwise temperature constraints and applications (2025)
Andrade, Giovanna Castello de; Laurain, Antoine ; Novotny, Antonio André
Fonte: Book of abstracts. Nome do evento: Congresso Nacional de Matemática Aplicada e Computacional - CNMAC. Unidade: IME
Assuntos: OTIMIZAÇÃO, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANDRADE, Giovanna Castello de e LAURAIN, Antoine e NOVOTNY, Antonio André. Topological derivative-based shape optimization with pointwise temperature constraints and applications. 2025, Anais.. São Carlos: SBMAC, 2025. p. 1. Disponível em: https://proceedings.science/cnmac-2025/papers/topological-derivative-based-shape-optimization-with-pointwise-temperature-const?lang=en. Acesso em: 30 jul. 2025.
APA
Andrade, G. C. de, Laurain, A., & Novotny, A. A. (2025). Topological derivative-based shape optimization with pointwise temperature constraints and applications. In Book of abstracts (p. 1). São Carlos: SBMAC. Recuperado de https://proceedings.science/cnmac-2025/papers/topological-derivative-based-shape-optimization-with-pointwise-temperature-const?lang=en
NLM
Andrade GC de, Laurain A, Novotny AA. Topological derivative-based shape optimization with pointwise temperature constraints and applications [Internet]. Book of abstracts. 2025 ; 1.[citado 2025 jul. 30 ] Available from: https://proceedings.science/cnmac-2025/papers/topological-derivative-based-shape-optimization-with-pointwise-temperature-const?lang=en
Vancouver
Andrade GC de, Laurain A, Novotny AA. Topological derivative-based shape optimization with pointwise temperature constraints and applications [Internet]. Book of abstracts. 2025 ; 1.[citado 2025 jul. 30 ] Available from: https://proceedings.science/cnmac-2025/papers/topological-derivative-based-shape-optimization-with-pointwise-temperature-const?lang=en
Trabalho de evento-resumo
Gelfand-Kirillov conjecture as a first-order formula (2025)
Mariano, Hugo Luiz ; Schwarz, João Fernando
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: ÁLGEBRA ABSTRATA, GEOMETRIA ALGÉBRICA, ANÉIS E ÁLGEBRAS ASSOCIATIVOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz e SCHWARZ, João Fernando. Gelfand-Kirillov conjecture as a first-order formula. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 147-148. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 30 jul. 2025.
APA
Mariano, H. L., & Schwarz, J. F. (2025). Gelfand-Kirillov conjecture as a first-order formula. In Book of abstracts (p. 147-148). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Mariano HL, Schwarz JF. Gelfand-Kirillov conjecture as a first-order formula [Internet]. Book of abstracts. 2025 ; 147-148.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Mariano HL, Schwarz JF. Gelfand-Kirillov conjecture as a first-order formula [Internet]. Book of abstracts. 2025 ; 147-148.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
First-order characterization and topological properties of Gel’fand C∞−Rings (2025)
Berni, Jean Cerqueira ; Mariano, Hugo Luiz
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: ANÉIS E ÁLGEBRAS ASSOCIATIVOS, ANÉIS ESPECIAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BERNI, Jean Cerqueira e MARIANO, Hugo Luiz. First-order characterization and topological properties of Gel’fand C∞−Rings. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 152-153. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 30 jul. 2025.
APA
Berni, J. C., & Mariano, H. L. (2025). First-order characterization and topological properties of Gel’fand C∞−Rings. In Book of abstracts (p. 152-153). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Berni JC, Mariano HL. First-order characterization and topological properties of Gel’fand C∞−Rings [Internet]. Book of abstracts. 2025 ; 152-153.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Berni JC, Mariano HL. First-order characterization and topological properties of Gel’fand C∞−Rings [Internet]. Book of abstracts. 2025 ; 152-153.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Workshop: Logic, Conditionals and Probabilities (2025)
Bueno-Soler, Juliana; Carnielli, Walter; Stern, Julio Michael
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: RACIOCÍNIO PROBABILÍSTICO, SISTEMAS LÓGICOS CLÁSSICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BUENO-SOLER, Juliana e CARNIELLI, Walter e STERN, Julio Michael. Workshop: Logic, Conditionals and Probabilities. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 60-61. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 30 jul. 2025.
APA
Bueno-Soler, J., Carnielli, W., & Stern, J. M. (2025). Workshop: Logic, Conditionals and Probabilities. In Book of abstracts (p. 60-61). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Bueno-Soler J, Carnielli W, Stern JM. Workshop: Logic, Conditionals and Probabilities [Internet]. Book of abstracts. 2025 ; 60-61.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Bueno-Soler J, Carnielli W, Stern JM. Workshop: Logic, Conditionals and Probabilities [Internet]. Book of abstracts. 2025 ; 60-61.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
An application of algebraic geometry tools to intuitionistic logic (2025)
Andrade, Mayk de; Mariano, Hugo Luiz ; Amodey, Steven
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: GEOMETRIA ALGÉBRICA, LÓGICA INTUICIONISTA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANDRADE, Mayk de e MARIANO, Hugo Luiz e AMODEY, Steven. An application of algebraic geometry tools to intuitionistic logic. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 209-210. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 30 jul. 2025.
APA
Andrade, M. de, Mariano, H. L., & Amodey, S. (2025). An application of algebraic geometry tools to intuitionistic logic. In Book of abstracts (p. 209-210). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Andrade M de, Mariano HL, Amodey S. An application of algebraic geometry tools to intuitionistic logic [Internet]. Book of abstracts. 2025 ; 209-210.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Andrade M de, Mariano HL, Amodey S. An application of algebraic geometry tools to intuitionistic logic [Internet]. Book of abstracts. 2025 ; 209-210.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra (2025)
Severino, Jéssica Duarte; Roberto, Kaique Matias de Andrade ; Mariano, Hugo Luiz
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: TEORIA DOS MODELOS, LÓGICA MATEMÁTICA, ÁLGEBRA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SEVERINO, Jéssica Duarte e ROBERTO, Kaique Matias de Andrade e MARIANO, Hugo Luiz. O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 289-290. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 30 jul. 2025.
APA
Severino, J. D., Roberto, K. M. de A., & Mariano, H. L. (2025). O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra. In Book of abstracts (p. 289-290). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Severino JD, Roberto KM de A, Mariano HL. O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra [Internet]. Book of abstracts. 2025 ; 289-290.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Severino JD, Roberto KM de A, Mariano HL. O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra [Internet]. Book of abstracts. 2025 ; 289-290.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Sistemas biortogonais em espaços de Banach (2025)
Corrêa, Maurício Rossetto ; Brech, Christina
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: ESPAÇOS DE BANACH, BASES DE SCHAUDER
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CORRÊA, Maurício Rossetto e BRECH, Christina. Sistemas biortogonais em espaços de Banach. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 303-304. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 30 jul. 2025.
APA
Corrêa, M. R., & Brech, C. (2025). Sistemas biortogonais em espaços de Banach. In Book of abstracts (p. 303-304). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Corrêa MR, Brech C. Sistemas biortogonais em espaços de Banach [Internet]. Book of abstracts. 2025 ; 303-304.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Corrêa MR, Brech C. Sistemas biortogonais em espaços de Banach [Internet]. Book of abstracts. 2025 ; 303-304.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Teoria de Ramsey: um breve retorno à lógica formal através dos grafos (2025)
Reis, Pedro Lucas Santos dos
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: TEORIA DE RAMSEY, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
REIS, Pedro Lucas Santos dos. Teoria de Ramsey: um breve retorno à lógica formal através dos grafos. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 307. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 30 jul. 2025.
APA
Reis, P. L. S. dos. (2025). Teoria de Ramsey: um breve retorno à lógica formal através dos grafos. In Book of abstracts (p. 307). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Reis PLS dos. Teoria de Ramsey: um breve retorno à lógica formal através dos grafos [Internet]. Book of abstracts. 2025 ; 307.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Reis PLS dos. Teoria de Ramsey: um breve retorno à lógica formal através dos grafos [Internet]. Book of abstracts. 2025 ; 307.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Approximations for boolean satisfiability (2025)
Lobo, João Felipe P.; Finger, Marcelo
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: ALGORITMOS DE APROXIMAÇÃO, PROGRAMAÇÃO LINEAR, APROXIMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LOBO, João Felipe P. e FINGER, Marcelo. Approximations for boolean satisfiability. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 159-160. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 30 jul. 2025.
APA
Lobo, J. F. P., & Finger, M. (2025). Approximations for boolean satisfiability. In Book of abstracts (p. 159-160). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Lobo JFP, Finger M. Approximations for boolean satisfiability [Internet]. Book of abstracts. 2025 ; 159-160.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Lobo JFP, Finger M. Approximations for boolean satisfiability [Internet]. Book of abstracts. 2025 ; 159-160.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
An advanced NMR protocol for the structural characterization of transition metals in oxide glasses (2025)
Eckert, Hellmut ; Bradtmüller, Henrik ; Hernandez, Laureano Javier Ensuncho ; Oliveira, M. de; Pena, Rafaella Bartz
Fonte: Book of abstracts. Nome do evento: Glass and Optical Materials Division Anual Meeting - GOMD. Unidade: IFSC
Assuntos: VIDRO CERÂMICO, RESSONÂNCIA MAGNÉTICA NUCLEAR, ESPECTROSCOPIA RAMAN
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ECKERT, Hellmut et al. An advanced NMR protocol for the structural characterization of transition metals in oxide glasses. 2025, Anais.. Westerville: American Ceramic Society - ACerS, 2025. Disponível em: https://ceramics.org/past-event/16th-pacific-rim-conference-on-ceramic-and-glass-technology-including-glass-optical-materials-division-meeting-gomd-2025/. Acesso em: 30 jul. 2025.
APA
Eckert, H., Bradtmüller, H., Hernandez, L. J. E., Oliveira, M. de, & Pena, R. B. (2025). An advanced NMR protocol for the structural characterization of transition metals in oxide glasses. In Book of abstracts. Westerville: American Ceramic Society - ACerS. Recuperado de https://ceramics.org/past-event/16th-pacific-rim-conference-on-ceramic-and-glass-technology-including-glass-optical-materials-division-meeting-gomd-2025/
NLM
Eckert H, Bradtmüller H, Hernandez LJE, Oliveira M de, Pena RB. An advanced NMR protocol for the structural characterization of transition metals in oxide glasses [Internet]. Book of abstracts. 2025 ;[citado 2025 jul. 30 ] Available from: https://ceramics.org/past-event/16th-pacific-rim-conference-on-ceramic-and-glass-technology-including-glass-optical-materials-division-meeting-gomd-2025/
Vancouver
Eckert H, Bradtmüller H, Hernandez LJE, Oliveira M de, Pena RB. An advanced NMR protocol for the structural characterization of transition metals in oxide glasses [Internet]. Book of abstracts. 2025 ;[citado 2025 jul. 30 ] Available from: https://ceramics.org/past-event/16th-pacific-rim-conference-on-ceramic-and-glass-technology-including-glass-optical-materials-division-meeting-gomd-2025/
Trabalho de evento-resumo
Preservation of topological properties by forcing (2025)
Rocha, Vinicius Oliveira
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: ANÁLISE ESTATÍSTICA DE DADOS, TEORIA DOS CONJUNTOS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Vinicius Oliveira. Preservation of topological properties by forcing. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 310-311. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 30 jul. 2025.
APA
Rocha, V. O. (2025). Preservation of topological properties by forcing. In Book of abstracts (p. 310-311). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Rocha VO. Preservation of topological properties by forcing [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Rocha VO. Preservation of topological properties by forcing [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2025 jul. 30 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

Unidades USP

ReP

Filtros

Unidades USP

Departamento

Autores

Autores USP

Ano de publicação

Assuntos

Editora

Nome do evento

País de publicação

Grupo de pesquisa

Agência de fomento

Afiliação dos autores externos normalizada

Afiliação dos autores externos não normalizada

País das instituições de afiliação dos autores externos