Resultados de 1 a 10 de 16 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
Refinado por:
Base de dados/Biblioteca:
Lecture Notes in Computer Science Archive (through to 1996)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Ata de Congresso
|
|
Lower Runtime Bounds for Integer ProgramsFrohn, F. ; Naaf, M. ; Hensel, J. ; Brockschmidt, M. ; Giesl, J.Automated Reasoning, p.550-567 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 2 |
Material Type: Ata de Congresso
|
|
Size-Change Termination for Term RewritingThiemann, René ; Giesl, JürgenLecture notes in computer science, 2003, p.264-278 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
Context-Moving Transformations for Function VerificationGiesl, JürgenLecture notes in computer science, 2000, p.293-312 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 4 |
Material Type: Ata de Congresso
|
|
Deciding Inductive Validity of EquationsGiesl, Jürgen ; Kapur, DeepakAutomated Deduction – CADE-19, 2003, p.17-31 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 5 |
Material Type: Ata de Congresso
|
|
Improving Dependency PairsGiesl, Jürgen ; Thiemann, René ; Schneider-Kamp, Peter ; Falke, StephanLecture notes in computer science, 2003, p.167-182 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 6 |
Material Type: Capítulo de Livro
|
|
Improved Modular Termination Proofs Using Dependency PairsThiemann, René ; Giesl, Jürgen ; Schneider-Kamp, PeterAutomated Reasoning, 2004, p.75-90 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
Termination analysis by inductive evaluationBrauburger, Jürgen ; Giesl, JürgenAutomated Deduction — CADE-15, 2006, p.254-269 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 8 |
Material Type: Capítulo de Livro
|
|
Innermost Termination of Context-Sensitive RewritingGiesl, Jürgen ; Middeldorp, AartDevelopments in Language Theory, p.231-244 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
Material Type: Ata de Congresso
|
|
Eliminating Dummy EliminationGiesl, Jürgen ; Middeldorp, AartAutomated Deduction - CADE-17, 2000, p.309-323 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 10 |
Material Type: Ata de Congresso
|
|
Modularity of termination using dependency pairsArts, Thomas ; Giesl, JürgenLecture notes in computer science, 1998, p.226-240 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
Resultados de 1 a 10 de 16 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
Assunto
- Computer Science (12)
- Applied Sciences (12)
- Exact Sciences And Technology (12)
- Science & Technology (12)
- Technology (12)
- Computer Science; Control Theory; Systems (12)
- Theoretical Computing (10)
- Computer Science, Theory & Methods (9)
- Termination Proof (8)
- Function Symbol (7)
- Computer Science, Artificial Intelligence (5)
- Dependency Graph (5)
- Programming Theory (5)
- Ground Term (4)
- Normal Form (3)
- Recursive Call (3)
- Software (3)
- Artificial Intelligence (3)
- Usable Rule (3)
- Logical, Boolean And Switching Functions (3)
-
Mais opções
Data de Publicação
- Antes de1997 (2)
- 1997Até1998 (3)
- 1999Até2002 (6)
- 2003Até2006 (6)
- Após 2006 (1)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (16)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (16)
- Science Citation Index Expanded (Web of Science) (11)
- IngentaConnect Journals (1)
- Springer Books (1)
- Springer Books Online Archive (1)
- SpringerLink Books Lecture Notes in Computer Science Archive (1)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 