8 Resultados 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
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001. ProceedingsMiddeldorp, Aart Middeldorp, AartBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
| 2 |
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 |
| 3 |
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 |
| 4 |
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 |
| 5 |
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 |
| 6 |
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 |
| 7 |
Material Type: Artigo
|
|
Decreasing Diagrams and Relative TerminationHirokawa, Nao ; Middeldorp, AartJournal of automated reasoning, 2011-12, Vol.47 (4), p.481-501 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
KBO OrientabilityZankl, Harald ; Hirokawa, Nao ; Middeldorp, AartJournal of automated reasoning, 2009-08, Vol.43 (2), p.173-201 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Assunto
- Computer Science, Artificial Intelligence (7)
- Science & Technology (7)
- Technology (7)
- Mathematical Logic And Foundations (7)
- Term Rewriting (6)
- Automated Reasoning (3)
- Confluence (2)
- Language Theory And Syntactical Analysis (2)
- Theoretical Computing (2)
- Termination (2)
- Applied Sciences (2)
- Exact Sciences And Technology (2)
- Automation (2)
- Decreasing Diagrams (2)
- Computer Science; Control Theory; Systems (2)
- Algebra (1)
-
Mais opções
Data de Publicação
- Antes de2003 (1)
- 2003Até2008 (1)
- 2009Até2010 (1)
- 2011Até2013 (3)
- Após 2013 (3)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (7)
- Journals@Ovid Ovid Full Text (7)
- Springer Nature - Springer Journals All 2022 (7)
- SpringerLink (Online service) (7)
- SpringerOpen (4)
- IngentaConnect Journals (2)
- Lecture Notes in Computer Science Archive (through to 1996) (1)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (1)
- Springer Books (1)
- SpringerLINK Lecture Notes in Computer Science (2015) (1)
- SpringerLink Books Lecture Notes in Computer Science Archive (1)
- Springer Books Online Archive (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 