Filtros : "Holanda" Limpar

Filtros



Refine with date range


  • Source: IFIP transactions: Computer science and technology. Conference titles: IFIP World Computer Congress. Unidade: IME

    Assunto: TECNOLOGIA DA INFORMAÇÃO

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      Technology and foundations: information processing '94 : proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994. IFIP transactions: Computer science and technology. Amsterdam: North-Holland. . Acesso em: 01 maio 2026. , 1994
    • APA

      Technology and foundations: information processing '94 : proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994. (1994). Technology and foundations: information processing '94 : proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994. IFIP transactions: Computer science and technology. Amsterdam: North-Holland.
    • NLM

      Technology and foundations: information processing '94 : proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994. IFIP transactions: Computer science and technology. 1994 ;[citado 2026 maio 01 ]
    • Vancouver

      Technology and foundations: information processing '94 : proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994. IFIP transactions: Computer science and technology. 1994 ;[citado 2026 maio 01 ]
  • Source: Tree Automata and Languages. Unidade: IME

    Assunto: TEORIA DA COMPUTAÇÃO

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SIMON, Imre. Short proof of the factorization forest theorem. Tree Automata and Languages. Tradução . Amsterdam: Elsevier Science, 1992. . . Acesso em: 01 maio 2026.
    • APA

      Simon, I. (1992). Short proof of the factorization forest theorem. In Tree Automata and Languages. Amsterdam: Elsevier Science.
    • NLM

      Simon I. Short proof of the factorization forest theorem. In: Tree Automata and Languages. Amsterdam: Elsevier Science; 1992. [citado 2026 maio 01 ]
    • Vancouver

      Simon I. Short proof of the factorization forest theorem. In: Tree Automata and Languages. Amsterdam: Elsevier Science; 1992. [citado 2026 maio 01 ]
  • Source: Theoretical Computer Science. Unidade: IME

    Assunto: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO

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

      SIMON, Imre. Factorization forests of finite height. Theoretical Computer Science, v. 72, n. 1 , p. 65-94, 1990Tradução . . Disponível em: https://doi.org/10.1016/0304-3975(90)90047-L. Acesso em: 01 maio 2026.
    • APA

      Simon, I. (1990). Factorization forests of finite height. Theoretical Computer Science, 72( 1 ), 65-94. doi:10.1016/0304-3975(90)90047-L
    • NLM

      Simon I. Factorization forests of finite height [Internet]. Theoretical Computer Science. 1990 ; 72( 1 ): 65-94.[citado 2026 maio 01 ] Available from: https://doi.org/10.1016/0304-3975(90)90047-L
    • Vancouver

      Simon I. Factorization forests of finite height [Internet]. Theoretical Computer Science. 1990 ; 72( 1 ): 65-94.[citado 2026 maio 01 ] Available from: https://doi.org/10.1016/0304-3975(90)90047-L
  • Source: Theoretical Computer Science. Unidade: IME

    Subjects: TEORIA DOS GRUPOS, SEMIGRUPOS (COMBINATÓRIA)

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

      MANDEL, Arnaldo e SIMON, Imre. On finite semigroups of matrices. Theoretical Computer Science, v. 5, n. 2, p. 101-111, 1977Tradução . . Disponível em: https://doi.org/10.1016/0304-3975(77)90001-9. Acesso em: 01 maio 2026.
    • APA

      Mandel, A., & Simon, I. (1977). On finite semigroups of matrices. Theoretical Computer Science, 5( 2), 101-111. doi:10.1016/0304-3975(77)90001-9
    • NLM

      Mandel A, Simon I. On finite semigroups of matrices [Internet]. Theoretical Computer Science. 1977 ; 5( 2): 101-111.[citado 2026 maio 01 ] Available from: https://doi.org/10.1016/0304-3975(77)90001-9
    • Vancouver

      Mandel A, Simon I. On finite semigroups of matrices [Internet]. Theoretical Computer Science. 1977 ; 5( 2): 101-111.[citado 2026 maio 01 ] Available from: https://doi.org/10.1016/0304-3975(77)90001-9
  • Source: Discrete Mathematics. Unidade: IME

    Assunto: TEORIA DOS AUTÔMATOS

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

      BRZOZOWSKI, Janusz A e SIMON, Imre. Characterizations of locally testable events. Discrete Mathematics, v. 4, n. 3 , p. 243-271 , 1973Tradução . . Disponível em: https://doi.org/10.1016/S0012-365X(73)80005-6. Acesso em: 01 maio 2026.
    • APA

      Brzozowski, J. A., & Simon, I. (1973). Characterizations of locally testable events. Discrete Mathematics, 4( 3 ), 243-271 . doi:10.1016/S0012-365X(73)80005-6
    • NLM

      Brzozowski JA, Simon I. Characterizations of locally testable events [Internet]. Discrete Mathematics. 1973 ; 4( 3 ): 243-271 .[citado 2026 maio 01 ] Available from: https://doi.org/10.1016/S0012-365X(73)80005-6
    • Vancouver

      Brzozowski JA, Simon I. Characterizations of locally testable events [Internet]. Discrete Mathematics. 1973 ; 4( 3 ): 243-271 .[citado 2026 maio 01 ] Available from: https://doi.org/10.1016/S0012-365X(73)80005-6

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