4 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: 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 |
| 2 |
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 |
| 3 |
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 |
| 4 |
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 |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 