Menu

Filtros : "COMPUTABILIDADE E COMPLEXIDADE" "Bianconi, Ricardo" Removido: "PROGRAMAÇÃO MATEMÁTICA" Limpar

Filtros

Refine with date range

  • 1

1 - 4 (4 records)

  • Artigo de periodico

    Bounded theories for polyspace computability (2013)

    Bianconi, Ricardo ; Ferreira, Gilda ; Silva, Emmanuel

    Source: Portugaliae Mathematica. Unidade: IME

    Assunto: COMPUTABILIDADE E COMPLEXIDADE

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

    • ABNT

      BIANCONI, Ricardo e FERREIRA, Gilda e SILVA, Emmanuel. Bounded theories for polyspace computability. Portugaliae Mathematica, v. 70, n. 4, p. 295-318, 2013Tradução . . Disponível em: https://doi.org/10.4171/PM/1936. Acesso em: 01 dez. 2025.

    • APA

      Bianconi, R., Ferreira, G., & Silva, E. (2013). Bounded theories for polyspace computability. Portugaliae Mathematica, 70( 4), 295-318. doi:10.4171/PM/1936

    • NLM

      Bianconi R, Ferreira G, Silva E. Bounded theories for polyspace computability [Internet]. Portugaliae Mathematica. 2013 ; 70( 4): 295-318.[citado 2025 dez. 01 ] Available from: https://doi.org/10.4171/PM/1936

    • Vancouver

      Bianconi R, Ferreira G, Silva E. Bounded theories for polyspace computability [Internet]. Portugaliae Mathematica. 2013 ; 70( 4): 295-318.[citado 2025 dez. 01 ] Available from: https://doi.org/10.4171/PM/1936

  • Tese (Doutorado)

    Indução de indemonstrabilidades e independências em Complexidade Computacional (2003)

    Matsushigue, Claus Akira; Bianconi, Ricardo (Orientador)

    Unidade: IME

    Assunto: COMPUTABILIDADE E COMPLEXIDADE

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

    • ABNT

      MATSUSHIGUE, Claus Akira. Indução de indemonstrabilidades e independências em Complexidade Computacional. 2003. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-120754/. Acesso em: 01 dez. 2025.

    • APA

      Matsushigue, C. A. (2003). Indução de indemonstrabilidades e independências em Complexidade Computacional (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-120754/

    • NLM

      Matsushigue CA. Indução de indemonstrabilidades e independências em Complexidade Computacional [Internet]. 2003 ;[citado 2025 dez. 01 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-120754/

    • Vancouver

      Matsushigue CA. Indução de indemonstrabilidades e independências em Complexidade Computacional [Internet]. 2003 ;[citado 2025 dez. 01 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-120754/

  • Dissertação (Mestrado)

    Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos (2000)

    Tsukimoto, Edson Tiharu; Bianconi, Ricardo (Orientador)

    Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, COMPUTABILIDADE E COMPLEXIDADE

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

    • ABNT

      TSUKIMOTO, Edson Tiharu. Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos. 2000. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2000. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-115809/. Acesso em: 01 dez. 2025.

    • APA

      Tsukimoto, E. T. (2000). Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-115809/

    • NLM

      Tsukimoto ET. Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos [Internet]. 2000 ;[citado 2025 dez. 01 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-115809/

    • Vancouver

      Tsukimoto ET. Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos [Internet]. 2000 ;[citado 2025 dez. 01 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-115809/

  • Dissertação (Mestrado)

    Uma introdução técnica relativa às provas robustas checáveis probabilisticamente (1997)

    Matsushigue, Claus Akira; Bianconi, Ricardo (Orientador)

    Unidade: IME

    Subjects: MATEMÁTICA APLICADA, COMPUTABILIDADE E COMPLEXIDADE

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

    • ABNT

      MATSUSHIGUE, Claus Akira. Uma introdução técnica relativa às provas robustas checáveis probabilisticamente. 1997. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1997. Disponível em: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-014911/. Acesso em: 01 dez. 2025.

    • APA

      Matsushigue, C. A. (1997). Uma introdução técnica relativa às provas robustas checáveis probabilisticamente (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-014911/

    • NLM

      Matsushigue CA. Uma introdução técnica relativa às provas robustas checáveis probabilisticamente [Internet]. 1997 ;[citado 2025 dez. 01 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-014911/

    • Vancouver

      Matsushigue CA. Uma introdução técnica relativa às provas robustas checáveis probabilisticamente [Internet]. 1997 ;[citado 2025 dez. 01 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-014911/
  • 1

1 - 4 (4 records)

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