Filtros : "IME" "SIMON, IMRE" Removidos: "Espanha" "DELGADO, KARINA VALDIVIA" "HAESER, GABRIEL" Limpar

Filtros



Refine with date range


  • 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: 23 maio 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 maio 23 ] 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 maio 23 ] 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: 23 maio 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 maio 23 ]
    • Vancouver

      Simon I. Short proof of the factorization forest theorem. In: Tree Automata and Languages. Amsterdam: Elsevier Science; 1992. [citado 2024 maio 23 ]
  • 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: 23 maio 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 maio 23 ] 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 maio 23 ] 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: 23 maio 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 maio 23 ] 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 maio 23 ] 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: 23 maio 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 maio 23 ] 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 maio 23 ] Available from: https://repositorio.usp.br/directbitstream/820943fb-77dc-412d-b542-2493d11ceb55/816094.pdf
  • 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: 23 maio 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 maio 23 ]
    • Vancouver

      Simon I. Palavras, autômatos e algoritmos: uma bibliografia. 1990 ;[citado 2024 maio 23 ]
  • 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: 23 maio 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 maio 23 ] 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 maio 23 ] 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: 23 maio 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 maio 23 ]
    • 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 maio 23 ]
  • 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: 23 maio 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 maio 23 ]
    • Vancouver

      Simon I. Nondeterministic complexity of a finite automation. In: Mots: Melanges Offerts a M P Schutzenberger. Paris: Hermes; 1990. [citado 2024 maio 23 ]
  • 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: 23 maio 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 maio 23 ] 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 maio 23 ] 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: 23 maio 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 maio 23 ] Available from: https://doi.org/10.1007/BFb0013112
    • Vancouver

      Simon I. Properties of factorization forests [Internet]. Proceedings. 1989 ;[citado 2024 maio 23 ] 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: 23 maio 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 maio 23 ] 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 maio 23 ] 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: 23 maio 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 maio 23 ]
    • Vancouver

      Lago AP do. Problema do algoritmo das diferenças. Atas. 1989 ;[citado 2024 maio 23 ]
  • 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: 23 maio 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 maio 23 ] 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 maio 23 ] Available from: https://repositorio.usp.br/directbitstream/bfeeec3f-b678-482c-a565-55a89e96e103/790778.pdf
  • Unidade: IME

    Subjects: LINGUAGENS FORMAIS, GRUPOS LIVRES

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

      SIMON, Imre. Recognizable sets with the tropical semiring. . Sao Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/90c8744e-1630-4831-af33-44c25a15610a/776247.pdf. Acesso em: 23 maio 2024. , 1988
    • APA

      Simon, I. (1988). Recognizable sets with the tropical semiring. Sao Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/90c8744e-1630-4831-af33-44c25a15610a/776247.pdf
    • NLM

      Simon I. Recognizable sets with the tropical semiring [Internet]. 1988 ;[citado 2024 maio 23 ] Available from: https://repositorio.usp.br/directbitstream/90c8744e-1630-4831-af33-44c25a15610a/776247.pdf
    • Vancouver

      Simon I. Recognizable sets with the tropical semiring [Internet]. 1988 ;[citado 2024 maio 23 ] Available from: https://repositorio.usp.br/directbitstream/90c8744e-1630-4831-af33-44c25a15610a/776247.pdf
  • Source: Revista de Matematicas Aplicadas. Unidade: IME

    Assunto: CIÊNCIA 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. Infinite words and a theorem of Hindman. Revista de Matematicas Aplicadas, v. 9 , n. 2 , p. 97-104, 1988Tradução . . Acesso em: 23 maio 2024.
    • APA

      Simon, I. (1988). Infinite words and a theorem of Hindman. Revista de Matematicas Aplicadas, 9 ( 2 ), 97-104.
    • NLM

      Simon I. Infinite words and a theorem of Hindman. Revista de Matematicas Aplicadas. 1988 ; 9 ( 2 ): 97-104.[citado 2024 maio 23 ]
    • Vancouver

      Simon I. Infinite words and a theorem of Hindman. Revista de Matematicas Aplicadas. 1988 ; 9 ( 2 ): 97-104.[citado 2024 maio 23 ]
  • Unidade: IME

    Assunto: SISTEMAS OPERACIONAIS

    Versão PublicadaHow 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. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/84735a0f-4a2a-4531-a96c-8bec9733e09f/776248.pdf. Acesso em: 23 maio 2024. , 1988
    • APA

      Simon, I. (1988). Sequence comparison: some theory and some practice. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/84735a0f-4a2a-4531-a96c-8bec9733e09f/776248.pdf
    • NLM

      Simon I. Sequence comparison: some theory and some practice [Internet]. 1988 ;[citado 2024 maio 23 ] Available from: https://repositorio.usp.br/directbitstream/84735a0f-4a2a-4531-a96c-8bec9733e09f/776248.pdf
    • Vancouver

      Simon I. Sequence comparison: some theory and some practice [Internet]. 1988 ;[citado 2024 maio 23 ] Available from: https://repositorio.usp.br/directbitstream/84735a0f-4a2a-4531-a96c-8bec9733e09f/776248.pdf
  • Source: Proceedings. Conference titles: International Symposium on Mathematical Foundations of Computer Science - MFCS. 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. Recognizable sets with multiplicities in the tropical semiring. 1988, Anais.. Berlin: Springer, 1988. Disponível em: https://doi.org/10.1007/BFb0017135. Acesso em: 23 maio 2024.
    • APA

      Simon, I. (1988). Recognizable sets with multiplicities in the tropical semiring. In Proceedings. Berlin: Springer. doi:10.1007/BFb0017135
    • NLM

      Simon I. Recognizable sets with multiplicities in the tropical semiring [Internet]. Proceedings. 1988 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1007/BFb0017135
    • Vancouver

      Simon I. Recognizable sets with multiplicities in the tropical semiring [Internet]. Proceedings. 1988 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1007/BFb0017135
  • Unidade: IME

    Assunto: COMBINATÓRIA

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

      SIMON, Imre. Infinite words and a theorem of Hindman. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/be2e5483-0ae5-4ba0-8d83-e083df616472/484356.pdf. Acesso em: 23 maio 2024. , 1987
    • APA

      Simon, I. (1987). Infinite words and a theorem of Hindman. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/be2e5483-0ae5-4ba0-8d83-e083df616472/484356.pdf
    • NLM

      Simon I. Infinite words and a theorem of Hindman [Internet]. 1987 ;[citado 2024 maio 23 ] Available from: https://repositorio.usp.br/directbitstream/be2e5483-0ae5-4ba0-8d83-e083df616472/484356.pdf
    • Vancouver

      Simon I. Infinite words and a theorem of Hindman [Internet]. 1987 ;[citado 2024 maio 23 ] Available from: https://repositorio.usp.br/directbitstream/be2e5483-0ae5-4ba0-8d83-e083df616472/484356.pdf
  • Unidade: IME

    Subjects: COMBINATÓRIA, CIÊNCIA DA COMPUTAÇÃO, MATEMÁTICA DA COMPUTAÇÃO, SEMIGRUPOS (COMBINATÓRIA)

    Versão PublicadaHow 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. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/3839e94c-36b7-44ac-a146-ab4364b48ac4/764291.pdf. Acesso em: 23 maio 2024. , 1987
    • APA

      Simon, I. (1987). Factorization forests of finite height. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/3839e94c-36b7-44ac-a146-ab4364b48ac4/764291.pdf
    • NLM

      Simon I. Factorization forests of finite height [Internet]. 1987 ;[citado 2024 maio 23 ] Available from: https://repositorio.usp.br/directbitstream/3839e94c-36b7-44ac-a146-ab4364b48ac4/764291.pdf
    • Vancouver

      Simon I. Factorization forests of finite height [Internet]. 1987 ;[citado 2024 maio 23 ] Available from: https://repositorio.usp.br/directbitstream/3839e94c-36b7-44ac-a146-ab4364b48ac4/764291.pdf

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