ReP USP - Resultado da busca

Artigo de periodico
The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws (2019)
Cozman, Fabio Gagliardi ; Mauá, Denis Deratani
Fonte: International Journal of Approximate Reasoning. Unidades: EP, IME
Assuntos: 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: 02 nov. 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 nov. 02 ] 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 nov. 02 ] Available from: https://doi.org/10.1016/j.ijar.2019.04.003
Dissertação (Mestrado)
Cohomologia de feixes em estruturas O-minimais (2018)
Gomes, Jonas Renan Moreira; Bianconi, Ricardo (Orientador)
Unidade: IME
Assuntos: COHOMOLOGIA, FEIXES, TEORIA DOS MODELOS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GOMES, Jonas Renan Moreira. Cohomologia de feixes em estruturas O-minimais. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-105223/. Acesso em: 02 nov. 2024.
APA
Gomes, J. R. M. (2018). Cohomologia de feixes em estruturas O-minimais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-105223/
NLM
Gomes JRM. Cohomologia de feixes em estruturas O-minimais [Internet]. 2018 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-105223/
Vancouver
Gomes JRM. Cohomologia de feixes em estruturas O-minimais [Internet]. 2018 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-105223/
Artigo de periodico
Definability and invariance (2007)
Costa, Newton Carneiro Affonso da; Rodrigues, Alexandre Augusto Martins
Fonte: Studia Logica. Unidade: IME
Assuntos: 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: 02 nov. 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 nov. 02 ] 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 nov. 02 ] Available from: https://doi.org/10.1007/s11225-007-9049-6
Artigo de periodico
An omitting types theorem for sheaves over topological spaces (2004)
Brunner, Andreas Bernhard Michael ; Miraglia Neto, Francisco
Fonte: Logic Journal of IGPL. Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, TEORIA DOS MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUNNER, Andreas Bernhard Michael e MIRAGLIA NETO, Francisco. An omitting types theorem for sheaves over topological spaces. Logic Journal of IGPL, v. 12, n. 6, p. 525-548, 2004Tradução . . Disponível em: https://doi.org/10.1093/jigpal/12.6.525. Acesso em: 02 nov. 2024.
APA
Brunner, A. B. M., & Miraglia Neto, F. (2004). An omitting types theorem for sheaves over topological spaces. Logic Journal of IGPL, 12( 6), 525-548. doi:10.1093/jigpal/12.6.525
NLM
Brunner ABM, Miraglia Neto F. An omitting types theorem for sheaves over topological spaces [Internet]. Logic Journal of IGPL. 2004 ; 12( 6): 525-548.[citado 2024 nov. 02 ] Available from: https://doi.org/10.1093/jigpal/12.6.525
Vancouver
Brunner ABM, Miraglia Neto F. An omitting types theorem for sheaves over topological spaces [Internet]. Logic Journal of IGPL. 2004 ; 12( 6): 525-548.[citado 2024 nov. 02 ] Available from: https://doi.org/10.1093/jigpal/12.6.525
Tese (Doutorado)
O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting (2000)
Brunner, Andreas Bernhard Michael; Miraglia Neto, Francisco (Orientador)
Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, TEORIA DOS MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUNNER, Andreas Bernhard Michael. O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting. 2000. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2000. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-123425/. Acesso em: 02 nov. 2024.
APA
Brunner, A. B. M. (2000). O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-123425/
NLM
Brunner ABM. O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting [Internet]. 2000 ;[citado 2024 nov. 02 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-123425/
Vancouver
Brunner ABM. O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting [Internet]. 2000 ;[citado 2024 nov. 02 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-123425/
Trabalho de evento
The downward Lowenheim-Skolem theorem for L-structures in Ω-sets (1988)
Miraglia Neto, Francisco
Fonte: Methods and applications of mathematical logic. Nome do evento: Latin American Symposium of Mathematical Logic. Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, TEORIA DOS MODELOS, LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIRAGLIA NETO, Francisco. The downward Lowenheim-Skolem theorem for L-structures in Ω-sets. 1988, Anais.. Providence: Ams, 1988. Disponível em: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf. Acesso em: 02 nov. 2024.
APA
Miraglia Neto, F. (1988). The downward Lowenheim-Skolem theorem for L-structures in Ω-sets. In Methods and applications of mathematical logic. Providence: Ams. Recuperado de https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf
NLM
Miraglia Neto F. The downward Lowenheim-Skolem theorem for L-structures in Ω-sets [Internet]. Methods and applications of mathematical logic. 1988 ;[citado 2024 nov. 02 ] Available from: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf
Vancouver
Miraglia Neto F. The downward Lowenheim-Skolem theorem for L-structures in Ω-sets [Internet]. Methods and applications of mathematical logic. 1988 ;[citado 2024 nov. 02 ] Available from: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf
Artigo de periodico
On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions (1983)
Miraglia Neto, Francisco
Fonte: Boletim da Sociedade Brasileira de Matemática. Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, TEORIA DOS MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIRAGLIA NETO, Francisco. On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions. Boletim da Sociedade Brasileira de Matemática, v. 14, n. 1, p. 81-86, 1983Tradução . . Disponível em: https://doi.org/10.1007/bf02584746. Acesso em: 02 nov. 2024.
APA
Miraglia Neto, F. (1983). On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions. Boletim da Sociedade Brasileira de Matemática, 14( 1), 81-86. doi:10.1007/bf02584746
NLM
Miraglia Neto F. On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions [Internet]. Boletim da Sociedade Brasileira de Matemática. 1983 ; 14( 1): 81-86.[citado 2024 nov. 02 ] Available from: https://doi.org/10.1007/bf02584746
Vancouver
Miraglia Neto F. On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions [Internet]. Boletim da Sociedade Brasileira de Matemática. 1983 ; 14( 1): 81-86.[citado 2024 nov. 02 ] Available from: https://doi.org/10.1007/bf02584746

Unidades USP

ReP

Filtros

Autores

Autores USP

Ano de publicação

Assuntos

Título da fonte