ReP USP - Resultado da busca

Monografia/livro
Essentials of formal languages and automata (2019)
Rosa, João Luís Garcia
Unidade: ICMC
Assuntos: LINGUAGENS FORMAIS, TEORIA DOS AUTÔMATOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROSA, João Luís Garcia. Essentials of formal languages and automata. . Saarbrücken: Lambert Academic Publishing - LAP. . Acesso em: 21 out. 2025. , 2019
APA
Rosa, J. L. G. (2019). Essentials of formal languages and automata. Saarbrücken: Lambert Academic Publishing - LAP.
NLM
Rosa JLG. Essentials of formal languages and automata. 2019 ;[citado 2025 out. 21 ]
Vancouver
Rosa JLG. Essentials of formal languages and automata. 2019 ;[citado 2025 out. 21 ]
Dissertação (Mestrado)
Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós (2018)
Santos, Gilmar Pereira dos; Lima, Ariane Machado (Orientador)
Unidade: EACH
Assuntos: RECONHECIMENTO DE PADRÕES, ANÁLISE SINTÁTICA, LINGUAGENS FORMAIS, LINGUAGENS LIVRES DE CONTEXTO, RNA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Gilmar Pereira dos. Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-17122018-112356/. Acesso em: 21 out. 2025.
APA
Santos, G. P. dos. (2018). Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/100/100131/tde-17122018-112356/
NLM
Santos GP dos. Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós [Internet]. 2018 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-17122018-112356/
Vancouver
Santos GP dos. Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós [Internet]. 2018 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-17122018-112356/
Trabalho de evento-resumo
Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade (2011)
Oliveira, Diogo de Queiroz; Sperling, David Moreno
Fonte: Resumos. Nome do evento: Simpósio Internacional de Iniciação Científica da Universidade de São Paulo - SIICUSP. Unidade: IAU
Assuntos: CONTEMPORANEIDADE, LINGUAGENS FORMAIS, ARQUITETURA, ARTES, CIDADES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Diogo de Queiroz e SPERLING, David Moreno. Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade. 2011, Anais.. São Paulo: USP/Pró-Reitoria de Pesquisa, 2011. Disponível em: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210. Acesso em: 21 out. 2025.
APA
Oliveira, D. de Q., & Sperling, D. M. (2011). Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade. In Resumos. São Paulo: USP/Pró-Reitoria de Pesquisa. Recuperado de https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210
NLM
Oliveira D de Q, Sperling DM. Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade [Internet]. Resumos. 2011 ;[citado 2025 out. 21 ] Available from: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210
Vancouver
Oliveira D de Q, Sperling DM. Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade [Internet]. Resumos. 2011 ;[citado 2025 out. 21 ] Available from: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210
Tese (Doutorado)
Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos (2010)
Martins Junior, José; Caurin, Glauco Augusto de Paula (Orientador)
Unidade: EESC
Assuntos: ROBÓTICA, INTERAÇÃO HOMEM-MÁQUINA, LINGUAGENS FORMAIS, AMBIENTE COLABORATIVO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTINS JUNIOR, José. Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos. 2010. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2010. Disponível em: http://www.teses.usp.br/teses/disponiveis/18/18149/tde-07022011-135624/. Acesso em: 21 out. 2025.
APA
Martins Junior, J. (2010). Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/18/18149/tde-07022011-135624/
NLM
Martins Junior J. Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos [Internet]. 2010 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/18/18149/tde-07022011-135624/
Vancouver
Martins Junior J. Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos [Internet]. 2010 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/18/18149/tde-07022011-135624/
Trabalho de evento
Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation (2008)
Martins Junior, José; Camolesi Junior, Luiz; Caurin, Glauco Augusto de Paula
Fonte: Proceedings. Nome do evento: ACM Symposium on Applied Computing - SAC. Unidade: EESC
Assuntos: ROBÔS, INTERFACE HOMEM-COMPUTADOR, LINGUAGENS FORMAIS, AMBIENTE COLABORATIVO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTINS JUNIOR, José e CAMOLESI JUNIOR, Luiz e CAURIN, Glauco Augusto de Paula. Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1364062. Acesso em: 21 out. 2025.
APA
Martins Junior, J., Camolesi Junior, L., & Caurin, G. A. de P. (2008). Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation. In Proceedings. New York: ACM. doi:10.1145/1363686.1364062
NLM
Martins Junior J, Camolesi Junior L, Caurin GA de P. Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation [Internet]. Proceedings. 2008 ;[citado 2025 out. 21 ] Available from: https://doi.org/10.1145/1363686.1364062
Vancouver
Martins Junior J, Camolesi Junior L, Caurin GA de P. Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation [Internet]. Proceedings. 2008 ;[citado 2025 out. 21 ] Available from: https://doi.org/10.1145/1363686.1364062
Trabalho de evento-anais periodico
First steps towards tevising ontologies (2006)
Ribeiro, Márcio Moretto ; Wassermann, Renata
Fonte: CEUR Workshop Proceedings. Nome do evento: Workshop on Ontologies and their Applications - WONTO. Unidade: IME
Assuntos: REPRESENTAÇÃO DE CONHECIMENTO, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Márcio Moretto e WASSERMANN, Renata. First steps towards tevising ontologies. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://ceur-ws.org/Vol-199/wonto-03.pdf. Acesso em: 21 out. 2025. , 2006
APA
Ribeiro, M. M., & Wassermann, R. (2006). First steps towards tevising ontologies. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://ceur-ws.org/Vol-199/wonto-03.pdf
NLM
Ribeiro MM, Wassermann R. First steps towards tevising ontologies [Internet]. CEUR Workshop Proceedings. 2006 ; 199 1-11.[citado 2025 out. 21 ] Available from: http://ceur-ws.org/Vol-199/wonto-03.pdf
Vancouver
Ribeiro MM, Wassermann R. First steps towards tevising ontologies [Internet]. CEUR Workshop Proceedings. 2006 ; 199 1-11.[citado 2025 out. 21 ] Available from: http://ceur-ws.org/Vol-199/wonto-03.pdf
Trabalho de evento-anais periodico
Classifying ontologies (2006)
Kepler, Fábio Natanael ; Paz-Trillo, Christian; Riani, Joselyto; Ribeiro, Márcio Moretto ; Delgado, Karina Valdivia ; Barros, Leliane Nunes de ; Wassermann, Renata
Fonte: CEUR Workshop Proceedings. Nome do evento: Workshop on Ontologies and their Applications - WONTO. Unidade: IME
Assuntos: LÓGICA, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KEPLER, Fábio Natanael et al. Classifying ontologies. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://ceur-ws.org/Vol-199/wonto-01.pdf. Acesso em: 21 out. 2025. , 2006
APA
Kepler, F. N., Paz-Trillo, C., Riani, J., Ribeiro, M. M., Delgado, K. V., Barros, L. N. de, & Wassermann, R. (2006). Classifying ontologies. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://ceur-ws.org/Vol-199/wonto-01.pdf
NLM
Kepler FN, Paz-Trillo C, Riani J, Ribeiro MM, Delgado KV, Barros LN de, Wassermann R. Classifying ontologies [Internet]. CEUR Workshop Proceedings. 2006 ; 199 1-12.[citado 2025 out. 21 ] Available from: http://ceur-ws.org/Vol-199/wonto-01.pdf
Vancouver
Kepler FN, Paz-Trillo C, Riani J, Ribeiro MM, Delgado KV, Barros LN de, Wassermann R. Classifying ontologies [Internet]. CEUR Workshop Proceedings. 2006 ; 199 1-12.[citado 2025 out. 21 ] Available from: http://ceur-ws.org/Vol-199/wonto-01.pdf
Dissertação (Mestrado)
Propriedades de algumas classes de relações racionais (2004)
Souza, Rodrigo Nonamor Pereira Mariano de; Kobayashi, Nami (Orientador)
Unidade: IME
Assunto: LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Rodrigo Nonamor Pereira Mariano de. Propriedades de algumas classes de relações racionais. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/. Acesso em: 21 out. 2025.
APA
Souza, R. N. P. M. de. (2004). Propriedades de algumas classes de relações racionais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/
NLM
Souza RNPM de. Propriedades de algumas classes de relações racionais [Internet]. 2004 ;[citado 2025 out. 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/
Vancouver
Souza RNPM de. Propriedades de algumas classes de relações racionais [Internet]. 2004 ;[citado 2025 out. 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/
Dissertação (Mestrado)
Sistemas de reescrita de termos: teoria e uma aplicação (1999)
Zanutto, Jefferson; Silva, Flávio Soares Corrêa da (Orientador)
Unidade: IME
Assunto: LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ZANUTTO, Jefferson. Sistemas de reescrita de termos: teoria e uma aplicação. 1999. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1999. Disponível em: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-022745/. Acesso em: 21 out. 2025.
APA
Zanutto, J. (1999). Sistemas de reescrita de termos: teoria e uma aplicação (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-022745/
NLM
Zanutto J. Sistemas de reescrita de termos: teoria e uma aplicação [Internet]. 1999 ;[citado 2025 out. 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-022745/
Vancouver
Zanutto J. Sistemas de reescrita de termos: teoria e uma aplicação [Internet]. 1999 ;[citado 2025 out. 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-022745/
Trabalho de evento
Maximal groups in free Burnside semigroups (1998)
Lago, Alair Pereira do
Fonte: Proceedings. Nome do evento: Latin American Symposium on Theoretical Informatics - LATIN. Unidade: IME
Assunto: LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LAGO, Alair Pereira do. Maximal groups in free Burnside semigroups. 1998, Anais.. Berlin: Springer, 1998. Disponível em: https://doi.org/10.1007/BFb0054311. Acesso em: 21 out. 2025.
APA
Lago, A. P. do. (1998). Maximal groups in free Burnside semigroups. In Proceedings. Berlin: Springer. doi:10.1007/BFb0054311
NLM
Lago AP do. Maximal groups in free Burnside semigroups [Internet]. Proceedings. 1998 ;[citado 2025 out. 21 ] Available from: https://doi.org/10.1007/BFb0054311
Vancouver
Lago AP do. Maximal groups in free Burnside semigroups [Internet]. Proceedings. 1998 ;[citado 2025 out. 21 ] Available from: https://doi.org/10.1007/BFb0054311
Relatorio tecnico
Development of an atomic-Broadcast protocol using LOTOS (1997)
James, Perry Roland; Endler, Markus ; Gaudel, Marie-Claude
Unidade: IME
Assuntos: DESENVOLVIMENTO DE SOFTWARE, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JAMES, Perry Roland e ENDLER, Markus e GAUDEL, Marie-Claude. Development of an atomic-Broadcast protocol using LOTOS. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/b7b19424-3f8a-4012-93ce-1030cb608c8b/975455.pdf. Acesso em: 21 out. 2025. , 1997
APA
James, P. R., Endler, M., & Gaudel, M. -C. (1997). Development of an atomic-Broadcast protocol using LOTOS. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/b7b19424-3f8a-4012-93ce-1030cb608c8b/975455.pdf
NLM
James PR, Endler M, Gaudel M-C. Development of an atomic-Broadcast protocol using LOTOS [Internet]. 1997 ;[citado 2025 out. 21 ] Available from: https://repositorio.usp.br/directbitstream/b7b19424-3f8a-4012-93ce-1030cb608c8b/975455.pdf
Vancouver
James PR, Endler M, Gaudel M-C. Development of an atomic-Broadcast protocol using LOTOS [Internet]. 1997 ;[citado 2025 out. 21 ] Available from: https://repositorio.usp.br/directbitstream/b7b19424-3f8a-4012-93ce-1030cb608c8b/975455.pdf
Trabalho de evento
Generalized rational relations and their logical definability (1997)
Choffrut, Christian; Guerra, Leucio de Azevedo
Fonte: proceedings. Nome do evento: International Symposium on Fundamentals of Computation Theory (FCT97). Unidade: IME
Assunto: LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CHOFFRUT, Christian e GUERRA, Leucio de Azevedo. Generalized rational relations and their logical definability. 1997, Anais.. Krakow: Springer, 1997. . Acesso em: 21 out. 2025.
APA
Choffrut, C., & Guerra, L. de A. (1997). Generalized rational relations and their logical definability. In proceedings. Krakow: Springer.
NLM
Choffrut C, Guerra L de A. Generalized rational relations and their logical definability. proceedings. 1997 ;[citado 2025 out. 21 ]
Vancouver
Choffrut C, Guerra L de A. Generalized rational relations and their logical definability. proceedings. 1997 ;[citado 2025 out. 21 ]
Relatorio tecnico
Reasoning with local and global inconsistencies (1995)
Silva, Flávio Soares Corrêa da
Unidade: IME
Assunto: LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Flávio Soares Corrêa da. Reasoning with local and global inconsistencies. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/4511c074-5d62-4665-9c88-664b60c8f123/889790.pdf. Acesso em: 21 out. 2025. , 1995
APA
Silva, F. S. C. da. (1995). Reasoning with local and global inconsistencies. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/4511c074-5d62-4665-9c88-664b60c8f123/889790.pdf
NLM
Silva FSC da. Reasoning with local and global inconsistencies [Internet]. 1995 ;[citado 2025 out. 21 ] Available from: https://repositorio.usp.br/directbitstream/4511c074-5d62-4665-9c88-664b60c8f123/889790.pdf
Vancouver
Silva FSC da. Reasoning with local and global inconsistencies [Internet]. 1995 ;[citado 2025 out. 21 ] Available from: https://repositorio.usp.br/directbitstream/4511c074-5d62-4665-9c88-664b60c8f123/889790.pdf
Relatorio tecnico
Categorical grammar and harmonic analysis (1995)
Silva, Flávio Soares Corrêa da ; Kon, Fábio
Unidade: IME
Assuntos: ANÁLISE HARMÔNICA, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Flávio Soares Corrêa da e KON, Fábio. Categorical grammar and harmonic analysis. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/8aa31730-ad1d-408c-8a7d-022cd4f2438e/889786.pdf. Acesso em: 21 out. 2025. , 1995
APA
Silva, F. S. C. da, & Kon, F. (1995). Categorical grammar and harmonic analysis. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/8aa31730-ad1d-408c-8a7d-022cd4f2438e/889786.pdf
NLM
Silva FSC da, Kon F. Categorical grammar and harmonic analysis [Internet]. 1995 ;[citado 2025 out. 21 ] Available from: https://repositorio.usp.br/directbitstream/8aa31730-ad1d-408c-8a7d-022cd4f2438e/889786.pdf
Vancouver
Silva FSC da, Kon F. Categorical grammar and harmonic analysis [Internet]. 1995 ;[citado 2025 out. 21 ] Available from: https://repositorio.usp.br/directbitstream/8aa31730-ad1d-408c-8a7d-022cd4f2438e/889786.pdf
Relatorio tecnico
Set operations on closed intervals and their applications to the automatic programming of mmach's (1995)
Barrera, Júnior; Salas, Guillenno Pablo; Hashimoto, Ronaldo Fumio
Unidade: IME
Assunto: LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BARRERA, Júnior e SALAS, Guillenno Pablo e HASHIMOTO, Ronaldo Fumio. Set operations on closed intervals and their applications to the automatic programming of mmach's. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/d6f0dabc-8edc-46c5-87d7-837f47883ce1/895287.pdf. Acesso em: 21 out. 2025. , 1995
APA
Barrera, J., Salas, G. P., & Hashimoto, R. F. (1995). Set operations on closed intervals and their applications to the automatic programming of mmach's. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/d6f0dabc-8edc-46c5-87d7-837f47883ce1/895287.pdf
NLM
Barrera J, Salas GP, Hashimoto RF. Set operations on closed intervals and their applications to the automatic programming of mmach's [Internet]. 1995 ;[citado 2025 out. 21 ] Available from: https://repositorio.usp.br/directbitstream/d6f0dabc-8edc-46c5-87d7-837f47883ce1/895287.pdf
Vancouver
Barrera J, Salas GP, Hashimoto RF. Set operations on closed intervals and their applications to the automatic programming of mmach's [Internet]. 1995 ;[citado 2025 out. 21 ] Available from: https://repositorio.usp.br/directbitstream/d6f0dabc-8edc-46c5-87d7-837f47883ce1/895287.pdf
Relatorio tecnico
String matching algorithms and automata (1994)
Simon, Imre
Unidade: IME
Assunto: LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMON, Imre. String matching algorithms and automata. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/dc4bbda3-da39-4f6f-be2b-da60f54c8b2b/869939.pdf. Acesso em: 21 out. 2025. , 1994
APA
Simon, I. (1994). String matching algorithms and automata. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/dc4bbda3-da39-4f6f-be2b-da60f54c8b2b/869939.pdf
NLM
Simon I. String matching algorithms and automata [Internet]. 1994 ;[citado 2025 out. 21 ] Available from: https://repositorio.usp.br/directbitstream/dc4bbda3-da39-4f6f-be2b-da60f54c8b2b/869939.pdf
Vancouver
Simon I. String matching algorithms and automata [Internet]. 1994 ;[citado 2025 out. 21 ] Available from: https://repositorio.usp.br/directbitstream/dc4bbda3-da39-4f6f-be2b-da60f54c8b2b/869939.pdf
Relatorio tecnico
The closure under division and a characterization of the recognizable z-subsets (1994)
Kobayashi, Nami
Unidade: IME
Assunto: LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KOBAYASHI, Nami. The closure under division and a characterization of the recognizable z-subsets. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/940e59ed-d83c-44d4-bd93-e7e44ed1971e/885915.pdf. Acesso em: 21 out. 2025. , 1994
APA
Kobayashi, N. (1994). The closure under division and a characterization of the recognizable z-subsets. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/940e59ed-d83c-44d4-bd93-e7e44ed1971e/885915.pdf
NLM
Kobayashi N. The closure under division and a characterization of the recognizable z-subsets [Internet]. 1994 ;[citado 2025 out. 21 ] Available from: https://repositorio.usp.br/directbitstream/940e59ed-d83c-44d4-bd93-e7e44ed1971e/885915.pdf
Vancouver
Kobayashi N. The closure under division and a characterization of the recognizable z-subsets [Internet]. 1994 ;[citado 2025 out. 21 ] Available from: https://repositorio.usp.br/directbitstream/940e59ed-d83c-44d4-bd93-e7e44ed1971e/885915.pdf
Dissertação (Mestrado)
Automato dos sufixos (1993)
Karpischek, Ricardo Ueda; Simon, Imre (Orientador)
Unidade: IME
Assunto: LINGUAGENS FORMAIS
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: 21 out. 2025.
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 2025 out. 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210728-235623/
Vancouver
Karpischek RU. Automato dos sufixos [Internet]. 1993 ;[citado 2025 out. 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210728-235623/
Trabalho de evento
The product of rational languages (1993)
Simon, Imre
Fonte: Proceedings. Nome do evento: International Colloquium on Automata, Languages, and Programming - ICALP. Unidade: IME
Assuntos: LINGUAGENS FORMAIS, TEORIA DOS AUTÔMATOS
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: 21 out. 2025.
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 2025 out. 21 ] Available from: https://doi.org/10.1007/3-540-56939-1_92
Vancouver
Simon I. The product of rational languages [Internet]. Proceedings. 1993 ;[citado 2025 out. 21 ] Available from: https://doi.org/10.1007/3-540-56939-1_92
Trabalho de evento
Properties of recognizable M-subsets of a free monoid (1992)
Kobayashi, Nami
Fonte: Proceedings. Nome do evento: Latin American Symposium on Theoretical Informatics - LATIN '92. Unidade: IME
Assuntos: AUTÔMATOS FINITOS, TEORIA DOS AUTÔMATOS, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KOBAYASHI, Nami. Properties of recognizable M-subsets of a free monoid. 1992, Anais.. Berlin: Springer, 1992. Disponível em: https://doi.org/10.1007/BFb0023838. Acesso em: 21 out. 2025.
APA
Kobayashi, N. (1992). Properties of recognizable M-subsets of a free monoid. In Proceedings. Berlin: Springer. doi:10.1007/BFb0023838
NLM
Kobayashi N. Properties of recognizable M-subsets of a free monoid [Internet]. Proceedings. 1992 ;[citado 2025 out. 21 ] Available from: https://doi.org/10.1007/BFb0023838
Vancouver
Kobayashi N. Properties of recognizable M-subsets of a free monoid [Internet]. Proceedings. 1992 ;[citado 2025 out. 21 ] Available from: https://doi.org/10.1007/BFb0023838

Unidades USP

ReP

Filtros

Tipo de material

Unidades USP

Departamento

Autores

Autores USP

Ano de publicação

Assuntos

Título da fonte

Editora

Nome do evento