Menu

Filtros : "LÓGICA MATEMÁTICA" "2004" "IME" Removidos: "Computacao" "PROCESSOS ESTOCÁSTICOS" "Instituto de Matemática Pura e Aplicada - IMPA - Rio de Janeiro, RJ" "LAPA, MAURA GONZAGA" "Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens - SIBGRAPI" Limpar

Filtros

Refine with date range

  • 1

1 - 4 (4 records)

  • Artigo de periodico

    An omitting types theorem for sheaves over topological spaces (2004)

    Brunner, Andreas Bernhard Michael ; Miraglia Neto, Francisco

    Source: Logic Journal of IGPL. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, TEORIA DOS MODELOS

    Acesso à fonteDOIHow to cite
    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: 01 out. 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 out. 01 ] 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 out. 01 ] Available from: https://doi.org/10.1093/jigpal/12.6.525

  • Artigo de periodico

    The decidability of a fragment of BB'IW-logic (2004)

    Broda, Sabine; Damas, Luís; Finger, Marcelo ; Silva, Paulo J. S.

    Source: Theoretical Computer Science. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      BRODA, Sabine et al. The decidability of a fragment of BB'IW-logic. Theoretical Computer Science, v. 318, n. 3, p. 373-408, 2004Tradução . . Disponível em: https://doi.org/10.1016/j.tcs.2004.02.002. Acesso em: 01 out. 2024.

    • APA

      Broda, S., Damas, L., Finger, M., & Silva, P. J. S. (2004). The decidability of a fragment of BB'IW-logic. Theoretical Computer Science, 318( 3), 373-408. doi:10.1016/j.tcs.2004.02.002

    • NLM

      Broda S, Damas L, Finger M, Silva PJS. The decidability of a fragment of BB'IW-logic [Internet]. Theoretical Computer Science. 2004 ; 318( 3): 373-408.[citado 2024 out. 01 ] Available from: https://doi.org/10.1016/j.tcs.2004.02.002

    • Vancouver

      Broda S, Damas L, Finger M, Silva PJS. The decidability of a fragment of BB'IW-logic [Internet]. Theoretical Computer Science. 2004 ; 318( 3): 373-408.[citado 2024 out. 01 ] Available from: https://doi.org/10.1016/j.tcs.2004.02.002

  • Tese (Doutorado)

    Teoria de modelos de corpos p-ádicos com funções analíticas (2004)

    Sanabria, Leonardo Prieto; Bianconi, Ricardo (Orientador)

    Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SANABRIA, Leonardo Prieto. Teoria de modelos de corpos p-ádicos com funções analíticas. 2004. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-134251/. Acesso em: 01 out. 2024.

    • APA

      Sanabria, L. P. (2004). Teoria de modelos de corpos p-ádicos com funções analíticas (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-134251/

    • NLM

      Sanabria LP. Teoria de modelos de corpos p-ádicos com funções analíticas [Internet]. 2004 ;[citado 2024 out. 01 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-134251/

    • Vancouver

      Sanabria LP. Teoria de modelos de corpos p-ádicos com funções analíticas [Internet]. 2004 ;[citado 2024 out. 01 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-134251/

  • Dissertação (Mestrado)

    Combinações de Lógicas Modais Não-normais (2004)

    Fajardo, Rogério Augusto dos Santos ; Finger, Marcelo (Orientador)

    Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FAJARDO, Rogério Augusto dos Santos. Combinações de Lógicas Modais Não-normais. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/. Acesso em: 01 out. 2024.

    • APA

      Fajardo, R. A. dos S. (2004). Combinações de Lógicas Modais Não-normais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/

    • NLM

      Fajardo RA dos S. Combinações de Lógicas Modais Não-normais [Internet]. 2004 ;[citado 2024 out. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/

    • Vancouver

      Fajardo RA dos S. Combinações de Lógicas Modais Não-normais [Internet]. 2004 ;[citado 2024 out. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/
  • 1

1 - 4 (4 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024