Resultados de 11 a 20 de 44 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
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 11 |
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 |
| 12 |
Material Type: Artigo
|
|
Termination of Nested and Mutually Recursive AlgorithmsGiesl, JürgenJournal of automated reasoning, 1997-08, Vol.19 (1), p.1 [Periódico revisado por pares]Dordrecht: Springer Nature B.VTexto completo disponível |
| 13 |
Material Type: Artigo
|
|
Induction Proofs with Partial FunctionsGiesl, JürgenJournal of automated reasoning, 2001-01, Vol.26 (1), p.1-49 [Periódico revisado por pares]Dordrecht: Springer Nature B.VTexto completo disponível |
| 14 |
Material Type: Artigo
|
|
Verification of Erlang Processes by Dependency PairsGiesl, Jürgen ; Arts, ThomasApplicable algebra in engineering, communication and computing, 2001-06, Vol.12 (1-2), p.39-72 [Periódico revisado por pares]Texto completo disponível |
| 15 |
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 |
| 16 |
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 |
| 17 |
Material Type: Artigo
|
|
Termination of term rewriting using dependency pairs: Trees in Algebra and ProgrammingARTS, T ; GIESL, JTheoretical computer science, 2000, Vol.236 (1-2), p.133-178 [Periódico revisado por pares]Amsterdam: ElsevierTexto completo disponível |
| 18 |
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 |
| 19 |
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 |
| 20 |
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 11 a 20 de 44 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
Refinar Meus Resultados
Tipo de Recurso
- Anais de Congresso (19)
- Artigos (17)
- Book Chapters (5)
- Livros (3)
-
Mais opções
Assunto
- Science & Technology (28)
- Technology (25)
- Computer Science (22)
- Computer Science, Theory & Methods (14)
- Exact Sciences And Technology (14)
- Applied Sciences (14)
- Computer Science; Control Theory; Systems (14)
- Theoretical Computing (12)
- Mathematics (9)
- Physical Sciences (9)
- Termination Proof (8)
- Function Symbol (7)
- Computer Science, Artificial Intelligence (7)
- Programming Theory (6)
- Termination (5)
- Dependency Graph (5)
- Mathematics, Applied (5)
- Ground Term (4)
- Computer Science, Software Engineering (4)
- Artificial Intelligence (3)
- Interpolação (1)
- Rewriting applications (1)
- Lyapunov Functions (1)
- Teoria Assintótica (1)
- Computer Programming (1)
- Algorithms (1)
- Rewriting techniques (1)
- Reduktionssystem (1)
- Linguagens Formais (Congressos) (1)
- Aproximação De Funções (1)
- Estabilidade De Liapunov (1)
- Rewriting Systems (Computer Science) (1)
- Radial Basis Functions (1)
- Teoria Da Computação (Congressos) (1)
- Equações Diferenciais Ordinárias (1)
- Termersetzungssystem (1)
- Rta (1)
-
Mais opções
Autor/Criador
- Takens, F (1)
- Teissier, B (1)
- Morel, J (1)
- Giesl, P (1)
- International Conference on Rewriting Techniques and Applications (1)
- Giesl, J (1)
-
Mais opções
Data de Publicação
- Antes de1999 (6)
- 1999Até2002 (15)
- 2003Até2006 (10)
- 2007Até2012 (6)
- Após 2012 (9)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (23)
- SpringerLINK Lecture Notes in Computer Science (2015) (16)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (16)
- ScienceDirect (Online service) (7)
- EZB Electronic Journals Library (7)
- Springer Nature - Springer Journals All 2022 (5)
- UCL Discovery (5)
- SpringerLink (Online service) (5)
- IEEE Electronic Library (IEL) Conference Proceedings (3)
- Springer Books (3)
- Journals@Ovid Complete (2)
- Gale eBooks (1)
- SpringerLink Books Lecture Notes in Computer Science Archive (1)
- Wiley-Blackwell Full Collection 2013 (1)
- Springer Nature - Springer Mathematics and Statistics eBooks 2011 English International (1)
- Free E- Journals (1)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (1)
- Wiley Online Library Journals (1)
- arXiv.org (1)
- Springer Books Online Archive (1)
-
Mais opções
Nome da Publicação
- Applicable Algebra In Engineering, Communication And Computing (3)
- Journal Of Automated Reasoning (2)
- Theoretical Computer Science (2)
- Science Of Computer Programming (2)
- Complexity (1)
- arXiv.org (1)
- Journal Of Theoretical Biology (1)
- Journal Of Symbolic Computation (1)
- Review Of Scientific Instruments (1)
- Journal Of Functional Programming (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 