Resultados de 1 a 10 de 47 para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
Base de dados/Biblioteca:
ROAD: Directory of Open Access Scholarly Resources
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Automatic Termination Analysis of Programs Containing Arithmetic PredicatesDershowitz, Nachum ; Lindenstrauss, Naomi ; Sagiv, Yehoshua ; Serebrenik, AlexanderElectronic notes in theoretical computer science, 1999, Vol.30 (1), p.39-58Elsevier B.VTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Automatic Termination Analysis of Programs Containing Arithmetic PredicatesDershowitz, Nachum ; Lindenstrauss, Naomi ; Sagiv, Yehoshua ; Serebrenik, AlexanderarXiv.org, 2000-11Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
A General Framework for Automatic Termination Analysis of Logic ProgramsDershowitz, Nachum ; Lindenstrauss, Naomi ; Sagiv, Yehoshua ; Serebrenik, AlexanderarXiv.org, 2000-12Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Ground CanonicityDershowitz, NachumarXiv.org, 2003-04Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
CanonicityDershowitz, NachumElectronic notes in theoretical computer science, 2003-05, Vol.86 (1), p.120-132Elsevier B.VTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Canonicity1 1This research was supported in part by the Israel Science Foundation (grant no. 254/01)Dershowitz, NachumElectronic notes in theoretical computer science, 2003-05, Vol.86 (1), p.120-132Texto completo disponível |
| 7 |
Material Type: Artigo
|
|
Gap Embedding for Well-Quasi-OrderingsDershowitz, Nachum ; Tzameret, IddoElectronic notes in theoretical computer science, 2003-09, Vol.84, p.80-90Elsevier B.VTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Parallel Multithreaded Satisfiability Solver: Design and ImplementationFeldman, Yulik ; Dershowitz, Nachum ; Hanna, ZiyadElectronic notes in theoretical computer science, 2005-04, Vol.128 (3), p.75-90Elsevier B.VTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Comparing Computational PowerBoker, Udi ; Dershowitz, NachumarXiv.org, 2005-10Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Abstract Effective ModelsBoker, Udi ; Dershowitz, NachumElectronic notes in theoretical computer science, 2006-03, Vol.135 (3), p.15-23Elsevier B.VTexto completo disponível |
Resultados de 1 a 10 de 47 para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Algorithms (10)
- Computer Science - Logic In Computer Science (9)
- Computer Science - Computation And Language (8)
- Computer Science (6)
- Science & Technology (6)
- Technology (5)
- Computer Science, Theory & Methods (4)
- Computer Science - Discrete Mathematics (4)
- Machine Learning (4)
- Mathematical Models (4)
- Linguistics (4)
- Boolean Algebra (3)
- Enumeration (3)
- Mapping (3)
- Segmentation (3)
- Computer Science - Computers And Society (3)
- Axioms (3)
- Turing Machines (3)
- State Machines (3)
- Archaeology (3)
-
Mais opções
Data de Publicação
- Antes de2003 (4)
- 2003Até2006 (9)
- 2007Até2011 (5)
- 2012Até2018 (13)
- Após 2018 (17)
-
Mais opções
Base de Dados/Biblioteca
- Directory of Open Access Scholarly Resources (ROAD) (47)
- Open Access: Freely Accessible Journals by multiple vendors (32)
- arXiv.org (23)
- EZB Electronic Journals Library (17)
- DOAJ Directory of Open Access Journals (11)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (7)
- ScienceDirect Freedom Collection (6)
- IngentaConnect Journals (3)
- Gale Academic OneFile (2)
- Academic Search Premier (EB_SDU_P3) (2)
- Diposit Digital de la Universitat de Barcelona (1)
- PubMed Central（OA） (1)
- EBSCOhost Computers and Applied Sciences Complete (1)
- Public Library of Science（OA） (1)
- ACM Digital Library (Association for Computing Machinery) (1)
- MIT Press (1)
- Science Citation Index Expanded (Web of Science) (1)
- MEDLINE Complete (1)
-
Mais opções
Nome da Publicação
- arXiv.org (22)
- Arxiv (12)
- Electronic Notes In Theoretical Computer Science (6)
- Journal Of Data Mining And Digital Humanities (3)
- Electronic Proceedings In Theoretical Computer Science (3)
- Frontiers In Digital Humanities (1)
- Computational Linguistics - Association For Computational Linguistics (1)
- Plos One (1)
- Internet Archaeology (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 