Resultados de 1 a 10 de 24 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (18)
- Revistas revisadas por pares (21)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Abstract Completion, FormalizedNao Hirokawa ; Aart Middeldorp ; Christian Sternagel ; Sarah WinklerLogical methods in computer science, 2019-01, Vol.15, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Complexity of Conditional Term RewritingCynthia Kop ; Aart Middeldorp ; Thomas SternagelLogical methods in computer science, 2017-01, Vol.13, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Polynomial Interpretations over the Natural, Rational and Real Numbers RevisitedNeurauter, Friedrich ; Middeldorp, AartLogical methods in computer science, 2014-09, Vol.10, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, CertificationMiddeldorp, Aart ; Lochmann, Alexander ; Mitterwallner, FabianJournal of automated reasoning, 2023-06, Vol.67 (2), p.14-14, Article 14 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Preface: Selected Extended Papers of CADE 2015Felty, Amy ; Middeldorp, AartJournal of automated reasoning, 2017-03, Vol.58 (3), p.311-312 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
AC-KBO revisitedYAMADA, AKIHISA ; WINKLER, SARAH ; HIROKAWA, NAO ; MIDDELDORP, AARTTheory and practice of logic programming, 2016-03, Vol.16 (2), p.163-188 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Labelings for Decreasing DiagramsZankl, Harald ; Felgenhauer, Bertram ; Middeldorp, AartJournal of automated reasoning, 2015-02, Vol.54 (2), p.101-133 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Multi-Completion with Termination ToolsWinkler, Sarah ; Sato, Haruhiko ; Middeldorp, Aart ; Kurihara, MasahitoJournal of automated reasoning, 2013-03, Vol.50 (3), p.317-354 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Uncurrying for Termination and ComplexityHirokawa, Nao ; Middeldorp, Aart ; Zankl, HaraldJournal of automated reasoning, 2013-03, Vol.50 (3), p.279-315 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Layer Systems for Proving ConfluenceFelgenhauer, Bertram ; Middeldorp, Aart ; Zankl, Harald ; Van Oostrom, VincentACM transactions on computational logic, 2015-03, Vol.16 (2), p.1-32 [Periódico revisado por pares]Texto completo disponível |
Resultados de 1 a 10 de 24 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr 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
- Recursos Online (18)
- Revistas revisadas por pares (21)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (14)
- Anais de Congresso (6)
- Book Chapters (4)
-
Mais opções
Assunto
- Term Rewriting (14)
- Computer Science, Theory & Methods (13)
- Computer Science, Artificial Intelligence (10)
- Logic (9)
- Science & Technology - Other Topics (9)
- Symbolic And Algebraic Manipulation (7)
- Artificial Intelligence (7)
- Mathematical Logic And Formal Languages (7)
- Mathematical Logic And Foundations (7)
- Termination (6)
- Computer Science, Software Engineering (5)
- Mathematics (5)
- Physical Sciences (5)
- Mathematics, Applied (4)
- Exact Sciences And Technology (4)
- Applied Sciences (4)
- Computer Science; Control Theory; Systems (4)
-
Mais opções
Data de Publicação
- Antes de2001 (3)
- 2001Até2007 (3)
- 2008Até2010 (3)
- 2011Até2015 (6)
- Após 2015 (10)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (16)
- Lecture Notes in Computer Science Archive (through to 1996) (7)
- SpringerLINK Lecture Notes in Computer Science (2015) (7)
- Springer Nature - Springer Journals All 2022 (7)
- SpringerLink (Online service) (7)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access (7)
- EZB Electronic Journals Library (6)
- ACM Digital Library (4)
- Springer Open Access (4)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (3)
- ROAD: Directory of Open Access Scholarly Resources (3)
- DOAJ Directory of Open Access Journals (3)
- IngentaConnect Journals (2)
- Elsevier ScienceDirect Journals (2)
- SpringerLink Fully Open Access Books (1)
- Cambridge Journals Online (1)
- Computers & Applied Sciences Complete (EBSCO) (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 