Filtros : "IME" "Simon, Imre" Limpar

Filtros



Refine with date range


  • Source: RAIRO - Theoretical Informatics and Applications. Unidade: IME

    Subjects: SEMIGRUPOS (COMBINATÓRIA), TEORIA DOS AUTÔMATOS

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

      SIMON, Imre. On semigroups of matrices over the tropical semiring. RAIRO - Theoretical Informatics and Applications, v. 28, n. 3-4, p. 277-294, 1994Tradução . . Disponível em: https://doi.org/10.1051/ita/1994283-402771. Acesso em: 24 abr. 2024.
    • APA

      Simon, I. (1994). On semigroups of matrices over the tropical semiring. RAIRO - Theoretical Informatics and Applications, 28( 3-4), 277-294. doi:10.1051/ita/1994283-402771
    • NLM

      Simon I. On semigroups of matrices over the tropical semiring [Internet]. RAIRO - Theoretical Informatics and Applications. 1994 ; 28( 3-4): 277-294.[citado 2024 abr. 24 ] Available from: https://doi.org/10.1051/ita/1994283-402771
    • Vancouver

      Simon I. On semigroups of matrices over the tropical semiring [Internet]. RAIRO - Theoretical Informatics and Applications. 1994 ; 28( 3-4): 277-294.[citado 2024 abr. 24 ] Available from: https://doi.org/10.1051/ita/1994283-402771
  • Source: Proceedings. Conference titles: Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa Graz. Unidade: IME

    Assunto: TEORIA DA 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. String matching algorithms and automata. 1994, Anais.. Berlin: Springer, 1994. Disponível em: https://doi.org/10.1007/3-540-58131-6_61. Acesso em: 24 abr. 2024.
    • APA

      Simon, I. (1994). String matching algorithms and automata. In Proceedings. Berlin: Springer. doi:10.1007/3-540-58131-6_61
    • NLM

      Simon I. String matching algorithms and automata [Internet]. Proceedings. 1994 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/3-540-58131-6_61
    • Vancouver

      Simon I. String matching algorithms and automata [Internet]. Proceedings. 1994 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/3-540-58131-6_61
  • Unidade: IME

    Assunto: LINGUAGENS FORMAIS

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

      KARPISCHEK, Ricardo Ueda. Automato dos sufixos. 1993. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1993. Disponível em: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210728-235623/. Acesso em: 24 abr. 2024.
    • APA

      Karpischek, R. U. (1993). Automato dos sufixos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45132/tde-20210728-235623/
    • NLM

      Karpischek RU. Automato dos sufixos [Internet]. 1993 ;[citado 2024 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210728-235623/
    • Vancouver

      Karpischek RU. Automato dos sufixos [Internet]. 1993 ;[citado 2024 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210728-235623/
  • Unidade: IME

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

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

      SIMON, Imre. the product of rational languages. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/8996c3cd-3a11-4014-943f-27cd5f54e32d/848720.pdf. Acesso em: 24 abr. 2024. , 1993
    • APA

      Simon, I. (1993). the product of rational languages. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/8996c3cd-3a11-4014-943f-27cd5f54e32d/848720.pdf
    • NLM

      Simon I. the product of rational languages [Internet]. 1993 ;[citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/8996c3cd-3a11-4014-943f-27cd5f54e32d/848720.pdf
    • Vancouver

      Simon I. the product of rational languages [Internet]. 1993 ;[citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/8996c3cd-3a11-4014-943f-27cd5f54e32d/848720.pdf
  • Source: Proceedings. Conference titles: International Colloquium on Automata, Languages, and Programming - ICALP. Unidade: IME

    Subjects: LINGUAGENS FORMAIS, 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

      SIMON, Imre. The product of rational languages. 1993, Anais.. Berlin: Springer, 1993. Disponível em: https://doi.org/10.1007/3-540-56939-1_92. Acesso em: 24 abr. 2024.
    • APA

      Simon, I. (1993). The product of rational languages. In Proceedings. Berlin: Springer. doi:10.1007/3-540-56939-1_92
    • NLM

      Simon I. The product of rational languages [Internet]. Proceedings. 1993 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/3-540-56939-1_92
    • Vancouver

      Simon I. The product of rational languages [Internet]. Proceedings. 1993 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/3-540-56939-1_92
  • 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: 24 abr. 2024.
    • 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 2024 abr. 24 ]
    • Vancouver

      Simon I. Short proof of the factorization forest theorem. In: Tree Automata and Languages. Amsterdam: Elsevier Science; 1992. [citado 2024 abr. 24 ]
  • Unidade: IME

    Assunto: CIÊNCIA DA COMPUTAÇÃO

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

      KOBAYASHI, Nami. Propriedades de -subconjuntos reconheciveis de um monoide livre. 1992. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1992. Disponível em: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-003555/. Acesso em: 24 abr. 2024.
    • APA

      Kobayashi, N. (1992). Propriedades de -subconjuntos reconheciveis de um monoide livre (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-003555/
    • NLM

      Kobayashi N. Propriedades de -subconjuntos reconheciveis de um monoide livre [Internet]. 1992 ;[citado 2024 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-003555/
    • Vancouver

      Kobayashi N. Propriedades de -subconjuntos reconheciveis de um monoide livre [Internet]. 1992 ;[citado 2024 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-003555/
  • Source: Proceedings. Conference titles: Annual Symposium on Theoretical Aspects of Computer Science - STACS. Unidade: IME

    Subjects: TEORIA DA COMPUTAÇÃO, LINGUAGENS FORMAIS

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

      HANSEL, Georges e PERRIN, Dominique e SIMON, Imre. Compression and entropy. 1992, Anais.. Berlin: Springer, 1992. Disponível em: https://doi.org/10.1007/3-540-55210-3_209. Acesso em: 24 abr. 2024.
    • APA

      Hansel, G., Perrin, D., & Simon, I. (1992). Compression and entropy. In Proceedings. Berlin: Springer. doi:10.1007/3-540-55210-3_209
    • NLM

      Hansel G, Perrin D, Simon I. Compression and entropy [Internet]. Proceedings. 1992 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/3-540-55210-3_209
    • Vancouver

      Hansel G, Perrin D, Simon I. Compression and entropy [Internet]. Proceedings. 1992 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/3-540-55210-3_209
  • Unidade: IME

    Assunto: CIÊNCIA DA COMPUTAÇÃO

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

      LATIN '92: 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992 : proceedings. . Berlin: New York. Disponível em: https://doi.org/10.1007/BFb0023811. Acesso em: 24 abr. 2024. , 1992
    • APA

      LATIN '92: 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992 : proceedings. (1992). LATIN '92: 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992 : proceedings. Berlin: New York. doi:10.1007/BFb0023811
    • NLM

      LATIN '92: 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992 : proceedings [Internet]. 1992 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/BFb0023811
    • Vancouver

      LATIN '92: 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992 : proceedings [Internet]. 1992 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/BFb0023811
  • Unidade: IME

    Subjects: TEORIA DOS GRUPOS, TEORIA DA COMPUTAÇÃO

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

      SIMON, Imre. A short proof of the factorization forest theorem. . Sao Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/820943fb-77dc-412d-b542-2493d11ceb55/816094.pdf. Acesso em: 24 abr. 2024. , 1991
    • APA

      Simon, I. (1991). A short proof of the factorization forest theorem. Sao Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/820943fb-77dc-412d-b542-2493d11ceb55/816094.pdf
    • NLM

      Simon I. A short proof of the factorization forest theorem [Internet]. 1991 ;[citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/820943fb-77dc-412d-b542-2493d11ceb55/816094.pdf
    • Vancouver

      Simon I. A short proof of the factorization forest theorem [Internet]. 1991 ;[citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/820943fb-77dc-412d-b542-2493d11ceb55/816094.pdf
  • Unidade: IME

    Assunto: COMBINATÓRIA

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

      LAGO, Alair Pereira do. Sobre os semigrupos de burnside 'X POT.N'='X POT.N+M'. 1991. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1991. Disponível em: https://teses.usp.br/teses/disponiveis/45/45132/tde-20220712-113938/. Acesso em: 24 abr. 2024.
    • APA

      Lago, A. P. do. (1991). Sobre os semigrupos de burnside 'X POT.N'='X POT.N+M' (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45132/tde-20220712-113938/
    • NLM

      Lago AP do. Sobre os semigrupos de burnside 'X POT.N'='X POT.N+M' [Internet]. 1991 ;[citado 2024 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20220712-113938/
    • Vancouver

      Lago AP do. Sobre os semigrupos de burnside 'X POT.N'='X POT.N+M' [Internet]. 1991 ;[citado 2024 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20220712-113938/
  • Unidade: IME

    Assunto: LINGUAGENS FORMAIS

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

      SIMON, Imre. Palavras, autômatos e algoritmos: uma bibliografia. . São Paulo: IME-USP. . Acesso em: 24 abr. 2024. , 1990
    • APA

      Simon, I. (1990). Palavras, autômatos e algoritmos: uma bibliografia. São Paulo: IME-USP.
    • NLM

      Simon I. Palavras, autômatos e algoritmos: uma bibliografia. 1990 ;[citado 2024 abr. 24 ]
    • Vancouver

      Simon I. Palavras, autômatos e algoritmos: uma bibliografia. 1990 ;[citado 2024 abr. 24 ]
  • 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: 24 abr. 2024.
    • 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 2024 abr. 24 ] 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 2024 abr. 24 ] Available from: https://doi.org/10.1016/0304-3975(90)90047-L
  • Source: Mots : méanges offerts a M.-P. Schützenberger. Unidade: IME

    Assunto: AUTÔMATOS FINITOS

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

      SIMON, Imre. The nondeterministic complexity of a finite automaton. Mots : méanges offerts a M.-P. Schützenberger. Tradução . Paris: Hermès, 1990. . . Acesso em: 24 abr. 2024.
    • APA

      Simon, I. (1990). The nondeterministic complexity of a finite automaton. In Mots : méanges offerts a M.-P. Schützenberger. Paris: Hermès.
    • NLM

      Simon I. The nondeterministic complexity of a finite automaton. In: Mots : méanges offerts a M.-P. Schützenberger. Paris: Hermès; 1990. [citado 2024 abr. 24 ]
    • Vancouver

      Simon I. The nondeterministic complexity of a finite automaton. In: Mots : méanges offerts a M.-P. Schützenberger. Paris: Hermès; 1990. [citado 2024 abr. 24 ]
  • Source: Mots: Melanges Offerts a M P Schutzenberger. Unidade: IME

    Assunto: LINGUAGENS FORMAIS

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

      SIMON, Imre. Nondeterministic complexity of a finite automation. Mots: Melanges Offerts a M P Schutzenberger. Tradução . Paris: Hermes, 1990. . . Acesso em: 24 abr. 2024.
    • APA

      Simon, I. (1990). Nondeterministic complexity of a finite automation. In Mots: Melanges Offerts a M P Schutzenberger. Paris: Hermes.
    • NLM

      Simon I. Nondeterministic complexity of a finite automation. In: Mots: Melanges Offerts a M P Schutzenberger. Paris: Hermes; 1990. [citado 2024 abr. 24 ]
    • Vancouver

      Simon I. Nondeterministic complexity of a finite automation. In: Mots: Melanges Offerts a M P Schutzenberger. Paris: Hermes; 1990. [citado 2024 abr. 24 ]
  • Source: Proceedings. Conference titles: Spring School on Theoretical Computer Science - LITP. Unidade: IME

    Assunto: TEORIA DA 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. Sequence comparison: some theory and some practice. 1989, Anais.. Berlin: Springer, 1989. Disponível em: https://doi.org/10.1007/3-540-51465-1_6. Acesso em: 24 abr. 2024.
    • APA

      Simon, I. (1989). Sequence comparison: some theory and some practice. In Proceedings. Berlin: Springer. doi:10.1007/3-540-51465-1_6
    • NLM

      Simon I. Sequence comparison: some theory and some practice [Internet]. Proceedings. 1989 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/3-540-51465-1_6
    • Vancouver

      Simon I. Sequence comparison: some theory and some practice [Internet]. Proceedings. 1989 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/3-540-51465-1_6
  • Source: Proceedings. Conference titles: Spring School on Theoretical Computer Science - LITP. Unidade: IME

    Subjects: SEMIGRUPOS (COMBINATÓRIA), AUTÔMATOS FINITOS, LINGUAGENS FORMAIS

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

      SIMON, Imre. Properties of factorization forests. 1989, Anais.. Berlin: Springer, 1989. Disponível em: https://doi.org/10.1007/BFb0013112. Acesso em: 24 abr. 2024.
    • APA

      Simon, I. (1989). Properties of factorization forests. In Proceedings. Berlin: Springer. doi:10.1007/BFb0013112
    • NLM

      Simon I. Properties of factorization forests [Internet]. Proceedings. 1989 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/BFb0013112
    • Vancouver

      Simon I. Properties of factorization forests [Internet]. Proceedings. 1989 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/BFb0013112
  • Unidade: IME

    Subjects: SEMIGRUPOS (COMBINATÓRIA), TEORIA DOS AUTÔMATOS

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

      SIMON, Imre. On semigroups of matrices over the tropical semiring. . Sao Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/77a13e67-4bec-4ddf-a151-a1a439b74fa3/791466.pdf. Acesso em: 24 abr. 2024. , 1989
    • APA

      Simon, I. (1989). On semigroups of matrices over the tropical semiring. Sao Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/77a13e67-4bec-4ddf-a151-a1a439b74fa3/791466.pdf
    • NLM

      Simon I. On semigroups of matrices over the tropical semiring [Internet]. 1989 ;[citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/77a13e67-4bec-4ddf-a151-a1a439b74fa3/791466.pdf
    • Vancouver

      Simon I. On semigroups of matrices over the tropical semiring [Internet]. 1989 ;[citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/77a13e67-4bec-4ddf-a151-a1a439b74fa3/791466.pdf
  • Source: Atas. Conference titles: Colóquio de Iniciação Científica. Unidade: IME

    Assunto: COMPUTABILIDADE E COMPLEXIDADE

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

      LAGO, Alair Pereira do. Problema do algoritmo das diferenças. 1989, Anais.. São Paulo: IME-USP, 1989. . Acesso em: 24 abr. 2024.
    • APA

      Lago, A. P. do. (1989). Problema do algoritmo das diferenças. In Atas. São Paulo: IME-USP.
    • NLM

      Lago AP do. Problema do algoritmo das diferenças. Atas. 1989 ;[citado 2024 abr. 24 ]
    • Vancouver

      Lago AP do. Problema do algoritmo das diferenças. Atas. 1989 ;[citado 2024 abr. 24 ]
  • Unidade: IME

    Subjects: SEMIGRUPOS (COMBINATÓRIA), TEORIA DE RAMSEY, LINGUAGENS FORMAIS

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

      SIMON, Imre. Properties of factorization forest. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/bfeeec3f-b678-482c-a565-55a89e96e103/790778.pdf. Acesso em: 24 abr. 2024. , 1989
    • APA

      Simon, I. (1989). Properties of factorization forest. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/bfeeec3f-b678-482c-a565-55a89e96e103/790778.pdf
    • NLM

      Simon I. Properties of factorization forest [Internet]. 1989 ;[citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/bfeeec3f-b678-482c-a565-55a89e96e103/790778.pdf
    • Vancouver

      Simon I. Properties of factorization forest [Internet]. 1989 ;[citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/bfeeec3f-b678-482c-a565-55a89e96e103/790778.pdf

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