ReP USP - Resultado da busca

Artigo de periodico
Horn filter pairs and Craig interpolation in propositional logic (2023)
Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: Boletin de Matematicas. Unidade: IME
Subjects: LÓGICA ALGÉBRICA, TEORIA DOS MODELOS
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 in propositional logic. Boletin de Matematicas, v. 30, n. 2, p. 1-5, 2023Tradução . . Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/112563. Acesso em: 22 ago. 2024.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2023). Horn filter pairs and Craig interpolation in propositional logic. Boletin de Matematicas, 30( 2), 1-5. Recuperado de https://revistas.unal.edu.co/index.php/bolma/article/view/112563
NLM
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in propositional logic [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-5.[citado 2024 ago. 22 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563
Vancouver
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in propositional logic [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-5.[citado 2024 ago. 22 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563
Artigo de periodico
Aprendizagem por projetos sociais: integração de conteúdos morais à representação de si de jovens (2021)
Silva, Marco Antonio Morgado da ; Araújo, Ulisses Ferreira de
Source: ETD Educacao Tematica Digital. Unidade: EACH
Subjects: EDUCAÇÃO MORAL, IDENTIDADE, ADOLESCENTES, VALORES PESSOAIS, APRENDIZAGEM BASEADA EM PROJETOS, TEORIA DOS MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Marco Antonio Morgado da e ARAÚJO, Ulisses Ferreira de. Aprendizagem por projetos sociais: integração de conteúdos morais à representação de si de jovens. ETD Educacao Tematica Digital, v. 23, n. 4, p. 1061-1078, 2021Tradução . . Disponível em: https://doi.org/10.20396/etd.v23i4.8659662. Acesso em: 22 ago. 2024.
APA
Silva, M. A. M. da, & Araújo, U. F. de. (2021). Aprendizagem por projetos sociais: integração de conteúdos morais à representação de si de jovens. ETD Educacao Tematica Digital, 23( 4), 1061-1078. doi:10.20396/etd.v23i4.8659662
NLM
Silva MAM da, Araújo UF de. Aprendizagem por projetos sociais: integração de conteúdos morais à representação de si de jovens [Internet]. ETD Educacao Tematica Digital. 2021 ; 23( 4): 1061-1078.[citado 2024 ago. 22 ] Available from: https://doi.org/10.20396/etd.v23i4.8659662
Vancouver
Silva MAM da, Araújo UF de. Aprendizagem por projetos sociais: integração de conteúdos morais à representação de si de jovens [Internet]. ETD Educacao Tematica Digital. 2021 ; 23( 4): 1061-1078.[citado 2024 ago. 22 ] Available from: https://doi.org/10.20396/etd.v23i4.8659662
Artigo de periodico
The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws (2019)
Cozman, Fabio Gagliardi ; Mauá, Denis Deratani
Source: International Journal of Approximate Reasoning. Unidades: EP, IME
Subjects: TEORIA DA COMPUTAÇÃO, TEORIA DOS MODELOS, AQUISIÇÃO DE CONHECIMENTO, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COZMAN, Fabio Gagliardi e MAUÁ, Denis Deratani. The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws. International Journal of Approximate Reasoning, v. 110, p. 107-126, 2019Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2019.04.003. Acesso em: 22 ago. 2024.
APA
Cozman, F. G., & Mauá, D. D. (2019). The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws. International Journal of Approximate Reasoning, 110, 107-126. doi:10.1016/j.ijar.2019.04.003
NLM
Cozman FG, Mauá DD. The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws [Internet]. International Journal of Approximate Reasoning. 2019 ; 110 107-126.[citado 2024 ago. 22 ] Available from: https://doi.org/10.1016/j.ijar.2019.04.003
Vancouver
Cozman FG, Mauá DD. The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws [Internet]. International Journal of Approximate Reasoning. 2019 ; 110 107-126.[citado 2024 ago. 22 ] Available from: https://doi.org/10.1016/j.ijar.2019.04.003
Artigo de periodico
Model completeness for the real field with the Weierstrass ℘ function (2018)
Bianconi, Ricardo
Source: Proceedings of the Edinburgh Mathematical Society. Unidade: IME
Subjects: TEORIA DOS MODELOS, CURVAS ELÍTICAS, FUNÇÕES ELÍTICAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BIANCONI, Ricardo. Model completeness for the real field with the Weierstrass ℘ function. Proceedings of the Edinburgh Mathematical Society, v. 61, n. 3 p. 811-823, 2018Tradução . . Disponível em: https://doi.org/10.1017/s001309151700044x. Acesso em: 22 ago. 2024.
APA
Bianconi, R. (2018). Model completeness for the real field with the Weierstrass ℘ function. Proceedings of the Edinburgh Mathematical Society, 61( 3 p. 811-823). doi:10.1017/s001309151700044x
NLM
Bianconi R. Model completeness for the real field with the Weierstrass ℘ function [Internet]. Proceedings of the Edinburgh Mathematical Society. 2018 ; 61( 3 p. 811-823):[citado 2024 ago. 22 ] Available from: https://doi.org/10.1017/s001309151700044x
Vancouver
Bianconi R. Model completeness for the real field with the Weierstrass ℘ function [Internet]. Proceedings of the Edinburgh Mathematical Society. 2018 ; 61( 3 p. 811-823):[citado 2024 ago. 22 ] Available from: https://doi.org/10.1017/s001309151700044x
Artigo de periodico
Realizing profinite reduced special groups (2011)
Astier, Vincent; Mariano, Hugo Luiz
Source: Pacific Journal of Mathematics. Unidade: IME
Subjects: TEORIA DOS MODELOS, NÚMEROS ALGÉBRICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ASTIER, Vincent e MARIANO, Hugo Luiz. Realizing profinite reduced special groups. Pacific Journal of Mathematics, v. 250, n. 2, p. 257-285, 2011Tradução . . Disponível em: https://doi.org/10.2140/pjm.2011.250.257. Acesso em: 22 ago. 2024.
APA
Astier, V., & Mariano, H. L. (2011). Realizing profinite reduced special groups. Pacific Journal of Mathematics, 250( 2), 257-285. doi:10.2140/pjm.2011.250.257
NLM
Astier V, Mariano HL. Realizing profinite reduced special groups [Internet]. Pacific Journal of Mathematics. 2011 ; 250( 2): 257-285.[citado 2024 ago. 22 ] Available from: https://doi.org/10.2140/pjm.2011.250.257
Vancouver
Astier V, Mariano HL. Realizing profinite reduced special groups [Internet]. Pacific Journal of Mathematics. 2011 ; 250( 2): 257-285.[citado 2024 ago. 22 ] Available from: https://doi.org/10.2140/pjm.2011.250.257
Artigo de periodico
Definability in infinitary languages and invariance by automorphims (2010)
Rodrigues, Alexandre Augusto Martins; Miranda Filho, Ricardo Carneiro de; Souza, Edelcio Gonçalves de
Source: Reports on Mathematical Logic. Unidade: IME
Subjects: TEORIA DOS MODELOS, INTERPOLAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RODRIGUES, Alexandre Augusto Martins e MIRANDA FILHO, Ricardo Carneiro de e SOUZA, Edelcio Gonçalves de. Definability in infinitary languages and invariance by automorphims. Reports on Mathematical Logic, v. 45, p. 119-133, 2010Tradução . . Disponível em: https://rml.tcs.uj.edu.pl/rml-45/05-Rodriguez.pdf. Acesso em: 22 ago. 2024.
APA
Rodrigues, A. A. M., Miranda Filho, R. C. de, & Souza, E. G. de. (2010). Definability in infinitary languages and invariance by automorphims. Reports on Mathematical Logic, 45, 119-133. Recuperado de https://rml.tcs.uj.edu.pl/rml-45/05-Rodriguez.pdf
NLM
Rodrigues AAM, Miranda Filho RC de, Souza EG de. Definability in infinitary languages and invariance by automorphims [Internet]. Reports on Mathematical Logic. 2010 ; 45 119-133.[citado 2024 ago. 22 ] Available from: https://rml.tcs.uj.edu.pl/rml-45/05-Rodriguez.pdf
Vancouver
Rodrigues AAM, Miranda Filho RC de, Souza EG de. Definability in infinitary languages and invariance by automorphims [Internet]. Reports on Mathematical Logic. 2010 ; 45 119-133.[citado 2024 ago. 22 ] Available from: https://rml.tcs.uj.edu.pl/rml-45/05-Rodriguez.pdf
Artigo de periodico
Definability and invariance (2007)
Costa, Newton Carneiro Affonso da; Rodrigues, Alexandre Augusto Martins
Source: Studia Logica. Unidade: IME
Subjects: TEORIA DOS MODELOS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, Newton Carneiro Affonso da e RODRIGUES, Alexandre Augusto Martins. Definability and invariance. Studia Logica, v. 86, n. 1, p. 1-30, 2007Tradução . . Disponível em: https://doi.org/10.1007/s11225-007-9049-6. Acesso em: 22 ago. 2024.
APA
Costa, N. C. A. da, & Rodrigues, A. A. M. (2007). Definability and invariance. Studia Logica, 86( 1), 1-30. doi:10.1007/s11225-007-9049-6
NLM
Costa NCA da, Rodrigues AAM. Definability and invariance [Internet]. Studia Logica. 2007 ; 86( 1): 1-30.[citado 2024 ago. 22 ] Available from: https://doi.org/10.1007/s11225-007-9049-6
Vancouver
Costa NCA da, Rodrigues AAM. Definability and invariance [Internet]. Studia Logica. 2007 ; 86( 1): 1-30.[citado 2024 ago. 22 ] Available from: https://doi.org/10.1007/s11225-007-9049-6
Artigo de periodico
Undefinability results in o-minimal expansions of the real numbers (2005)
Bianconi, Ricardo
Source: Annals of Pure and Applied Logic. Unidade: IME
Assunto: TEORIA DOS MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BIANCONI, Ricardo. Undefinability results in o-minimal expansions of the real numbers. Annals of Pure and Applied Logic, v. 134, n. 1, p. 43-51, 2005Tradução . . Disponível em: https://doi.org/10.1016/j.apal.2004.06.010. Acesso em: 22 ago. 2024.
APA
Bianconi, R. (2005). Undefinability results in o-minimal expansions of the real numbers. Annals of Pure and Applied Logic, 134( 1), 43-51. doi:10.1016/j.apal.2004.06.010
NLM
Bianconi R. Undefinability results in o-minimal expansions of the real numbers [Internet]. Annals of Pure and Applied Logic. 2005 ; 134( 1): 43-51.[citado 2024 ago. 22 ] Available from: https://doi.org/10.1016/j.apal.2004.06.010
Vancouver
Bianconi R. Undefinability results in o-minimal expansions of the real numbers [Internet]. Annals of Pure and Applied Logic. 2005 ; 134( 1): 43-51.[citado 2024 ago. 22 ] Available from: https://doi.org/10.1016/j.apal.2004.06.010
Artigo de periodico
Upwards preservation by elementary submodels (2000)
Junqueira, Lucia Renato
Source: Topology Proceedings. Unidade: IME
Subjects: ESPAÇOS TOPOLÓGICOS, TEORIA DOS MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JUNQUEIRA, Lucia Renato. Upwards preservation by elementary submodels. Topology Proceedings, v. 25, p. 225-249, 2000Tradução . . Disponível em: https://topology.nipissingu.ca/tp/reprints/v25/tp25116.pdf. Acesso em: 22 ago. 2024.
APA
Junqueira, L. R. (2000). Upwards preservation by elementary submodels. Topology Proceedings, 25, 225-249. Recuperado de https://topology.nipissingu.ca/tp/reprints/v25/tp25116.pdf
NLM
Junqueira LR. Upwards preservation by elementary submodels [Internet]. Topology Proceedings. 2000 ; 25 225-249.[citado 2024 ago. 22 ] Available from: https://topology.nipissingu.ca/tp/reprints/v25/tp25116.pdf
Vancouver
Junqueira LR. Upwards preservation by elementary submodels [Internet]. Topology Proceedings. 2000 ; 25 225-249.[citado 2024 ago. 22 ] Available from: https://topology.nipissingu.ca/tp/reprints/v25/tp25116.pdf

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Source title

Countries/Territories

Non normalized affiliation