ReP USP - Resultado da busca

Trabalho de evento-resumo
On categories of o-minimal structures (2025)
Figueiredo, Rodrigo ; Mariano, Hugo Luiz
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
A note on lattices with a symmetric difference like operation (2025)
Miraglia Neto, Francisco ; Petrovich, Alejandro
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: Á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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] 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é
Source: Book of abstracts. Conference titles: Congresso Nacional de Matemática Aplicada e Computacional - CNMAC. Unidade: IME
Subjects: 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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: Á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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] 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
Source: Book of abstracts. Conference titles: Glass and Optical Materials Division Anual Meeting - GOMD. Unidade: IFSC
Subjects: 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: 19 ago. 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 ago. 19 ] 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 ago. 19 ] 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
Categorical constructions of sets valued on semicartesian and involutive quantales (2025)
Alvim, José Goudet ; Mariano, Hugo Luiz ; Mendes, Caio de Andrade
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: TEORIA DAS CATEGORIAS, CATEGORIAS TOPOLÓGICAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALVIM, José Goudet e MARIANO, Hugo Luiz e MENDES, Caio de Andrade. Categorical constructions of sets valued on semicartesian and involutive quantales. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 167-168. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 19 ago. 2025.
APA
Alvim, J. G., Mariano, H. L., & Mendes, C. de A. (2025). Categorical constructions of sets valued on semicartesian and involutive quantales. In Book of abstracts (p. 167-168). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Alvim JG, Mariano HL, Mendes C de A. Categorical constructions of sets valued on semicartesian and involutive quantales [Internet]. Book of abstracts. 2025 ; 167-168.[citado 2025 ago. 19 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Alvim JG, Mariano HL, Mendes C de A. Categorical constructions of sets valued on semicartesian and involutive quantales [Internet]. Book of abstracts. 2025 ; 167-168.[citado 2025 ago. 19 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

USP Schools

ReP

Filtros

USP Schools

Departament

Authors

USP affiliated authors

Date published

Subjects

Publisher

Conference titles

Countries/Territories

Grupo de pesquisa

Funding Agencies

Normalized affiliation

Non normalized affiliation

Countries of institutions of collaboration