Refinar Meus Resultados

Tipo de Recurso 

1. Artigos  (8.312)
2. Anais de Congresso  (4.258)
3. Livros  (1.801)
4. Book Chapters  (577)
5. magazinearticle  (61)
6. Videos  (40)
7. Reports  (27)
8. Verbetes  (24)
9. Conjunto de Dados  (17)
10. Recursos Textuais  (12)
11. Dissertações  (11)
12. Produções Acadêmicas  (6)
13. Imagens  (5)
14. Web Resources  (3)
15. Resenhas  (2)
16. Standards  (1)
17. Revistas  (1)
18. Mais opções 

Assunto 

1. Computer Science  (6.046)
2. Computer Science - Formal Languages And Automata Theory  (5.142)
3. Science & Technology  (3.928)
4. Technology  (3.702)
5. Mathematical Logic And Formal Languages  (2.607)
6. Formal Languages  (2.452)
7. Artificial Intelligence  (1.911)
8. Algorithms  (1.850)
9. Computer Science, Theory & Methods  (1.512)
10. Theory Of Computation -- Formal Languages And Automata Theory  (1.490)
11. Formal Languages And Automata Theory  (1.444)
12. Mathematics  (1.397)
13. Machine Theory  (1.332)
14. Mathematical Logic  (1.310)
15. Computer Science - Logic In Computer Science  (1.306)
16. Software Engineering  (1.155)
17. Logic  (1.101)
18. Congresses  (1.066)
19. Logics And Meanings Of Programs  (1.057)
20. Theory Of Computation  (1.006)
21. Logic, Symbolic And Mathematical  (721)
22. Computational Complexity  (294)
23. Linguagens Formais  (64)
24. Teoria Da Computação  (27)
25. Sequential Machine Theory  (23)
26. Lógica Matemática  (22)
27. Sequential Machine Theory  (15)
28. Computational Complexity  (10)
29. Logic, Symbolic And Mathematical  (10)
30. Programming (Electronic Computers)  (10)
31. Inteligência Artificial  (10)
32. Linguagens Formais  (8)
33. Metodologia E Técnicas De Computação  (7)
34. Computabilidade E Complexidade  (7)
35. Programming Languages (Electronic Computers)  (7)
36. Linguística Computacional  (6)
37. Linguagens Formais (Congressos)  (6)
38. Linguagem De Programação  (6)
39. Ciência Da Computação  (5)
40. Linguagem De Programação  (5)
41. Computabilidade E Complexidade (Congressos)  (5)
42. Inteligência Artificial  (5)
43. Lógica Matemática  (5)
44. Teoria Dos Autômatos  (5)
45. Teoria Da Computação (Congressos)  (5)
46. Teoria Da Computação  (3)
47. Computabilidade E Complexidade  (1)
48. Teoria Dos Autômatos  (1)
49. Linguística Computacional  (1)
50. Mais opções 

Autor/Criador 

1. Salomaa, A  (10)
2. Conference on Developments in Language Theory  (8)
3. International Colloquium on Automata, L  (7)
4. European Association for Theoretical Computer Science  (6)
5. International Colloquium on Grammatical Inference  (6)
6. Rozenberg, G  (5)
7. Ullman, J  (5)
8. Hopcroft, J  (5)
9. Colloquium on Automata, L  (3)
10. Milner, R  (3)
11. Engeler, E  (3)
12. Motwani, R  (3)
13. Kuich, W  (2)
14. Berstel, J  (2)
15. Sudkamp, T  (2)
16. Gross, M  (2)
17. Sakakibara, Y  (2)
18. Pæaun, G  (2)
19. Lewis, H  (2)
20. Book, R  (2)
21. Mais opções 

Data de Publicação 

1. Antes de1966  (37)
2. 1966Até1979  (200)
3. 1980Até1993  (1.282)
4. 1994Até2008  (4.189)
5. Após 2008  (9.702)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (85)
2. ICMC - Inst. Ciên. Mat. Computação  (61)
3. EPBC - Esc. Politécnica-Bib Central  (10)
4. EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval  (8)
5. FFLCH - Fac. Fil. Let. e Ciências Humanas  (5)
6. IFSC - Inst. Física de São Carlos  (5)
7. IF - Instituto de Física  (3)
8. PUSPSC - Prefeitura do Campus USP de São Carlos  (2)
9. EACH - Esc. Artes, Ciências e Humanidades  (2)
10. FMRP - Fac. Medicina de Ribeirão Preto  (1)
11. FEA - Fac. Econ. Adm. Contab. e Atuária  (1)
12. Mais opções 

Base de Dados/Biblioteca 

1. ROAD  (5.151)
2. arXiv.org  (4.941)
3. Open Access: Freely Accessible Journals by multiple vendors  (4.667)
4. Access via ACM Digital Library  (3.158)
5. SpringerLINK Lecture Notes in Computer Science  (2.359)
6. Science Citation Index Expanded (Web of Science)  (2.327)
7. SpringerLINK Lecture Notes in Computer Science (2015)  (2.259)
8. Springer Books  (1.951)
9. Springer Nature - Springer Lecture Notes in Computer Science eBooks  (1.413)
10. IEEE Electronic Library (IEL) Conference Proceedings  (1.206)
11. Springer Books Online Archive  (1.115)
12. Springer Journals  (1.050)
13. SpringerLink Books Lecture Notes in Computer Science Archive  (1.028)
14. EZB Electronic Journals Library  (980)
15. Springer Nature - Springer Journals All 2022  (942)
16. Journals@Ovid  (904)
17. ScienceDirect  (817)
18. Computers & Applied Sciences Complete - EBSCO  (590)
19. DOAJ Directory of Open Access Journals  (498)
20. BACON - Mir@bel - GLOBAL_LIBRESACCES  (389)
21. Mais opções 

Idioma 

1. Inglês  (15.078)
2. Japonês  (208)
3. Francês  (46)
4. Alemão  (27)
5. Espanhol  (22)
6. Português  (19)
7. Italiano  (4)
8. Catalão  (3)
9. Estoniano  (2)
10. Russo  (1)
11. Árabe  (1)
12. Indeterminado  (1)
13. Mais opções 

Nome da Publicação 

1. arXiv.org  (4.651)
2. Arxiv  (3.699)
3. Journal Of Automated Reasoning  (602)
4. Information Processing Letters  (308)
5. Logical Methods In Computer Science  (197)
6. Theoretical Computer Science  (189)
7. Higher-Order And Symbolic Computation  (80)
8. Linguistics And Philosophy  (57)
9. Fundamenta Informaticae  (55)
10. Information And Computation  (48)
11. Ieee Systems Journal  (4)
12. Ieee Systems Journal  (1)
13. Proceedings  (1)
14. Mais opções