10 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
Mostrar Somente
Refinado por:
autor:
Middeldorp, Aart
Base de dados/Biblioteca:
SpringerLINK Lecture Notes in Computer Science Archive (Through 1996)
nível superior:
Recursos Online
Base de dados/Biblioteca:
SpringerLINK Lecture Notes in Computer Science Archive (Through 1996)
nível superior:
Recursos Online
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, ProceedingsMcMillan, Ken ; Middeldorp, Aart ; Voronkov, Andrei McMillan, Ken ; Voronkov, Andrei ; Middeldorp, AartNetherlands: Springer Nature 2013Texto completo disponível |
| 2 |
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 |
| 3 |
Material Type: Livro
|
|
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 ProceedingsMiddeldorp, Aart ; Sato, Taisuke Sato, Taisuke ; Middeldorp, AartBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, ProceedingsFelty, Amy P ; Middeldorp, Aart Felty, Amy P ; Middeldorp, AartCham: Springer Nature 2015Texto completo disponível |
| 5 |
Material Type: Livro
|
|
Functional and logic programming: 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan November 11-13, 1999 : proceedingsMiddeldorp, Aart ; Sato, TaisukeSpringer 2014Texto completo disponível |
| 6 |
Material Type: Capítulo de Livro
|
|
Certification of Classical Confluence Results for Left-Linear Term Rewrite SystemsNagele, Julian ; Middeldorp, AartInteractive Theorem Proving, p.290-306 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
A Complete Selection Function for Lazy Conditional NarrowingSuzuki, Taro ; Middeldorp, AartFunctional and Logic Programming, 2001, p.201-215 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 8 |
Material Type: Capítulo de Livro
|
|
Approximating Dependency Graphs Using Tree Automata TechniquesMiddeldorp, AartAutomated Reasoning, 2001, p.593-610 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
Material Type: Capítulo de Livro
|
|
A complete narrowing calculus for higher-order functional logic programmingNakahara, Koichi ; Middeldorp, Aart ; Ida, TetsuoProgramming Languages: Implementations, Logics and Programs, 1995, p.97-114 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 10 |
Material Type: Capítulo de Livro
|
|
On the Modularity of Deciding Call-by-NeedDurand, Irène ; Middeldorp, AartFoundations of Software Science and Computation Structures, 2001, p.199-213 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Tipo de Recurso
- Livros (5)
- Book Chapters (4)
- Anais de Congresso (1)
-
Mais opções
Assunto
- Computer Science (7)
- Congresses (4)
- Artificial Intelligence (4)
- Programming Languages (3)
- Programming Languages, Compilers, Interpreters (3)
- Computer Programming (3)
- Computer Science, Theory & Methods (3)
- Logics And Meanings Of Programs (3)
- Algorithms (3)
- Applied Sciences (3)
- Exact Sciences And Technology (3)
- Computer Logic (3)
- Technology (3)
- Science & Technology (3)
- Machine Theory (3)
- Logic Design (3)
- Compilers (3)
- Kongress (3)
- Computer Science; Control Theory; Systems (3)
- Logic Programming (3)
-
Mais opções
Data de Publicação
- Antes de1995 (1)
- 1995Até1998 (1)
- 1999Até2000 (1)
- 2001Até2003 (5)
- Após 2003 (4)
-
Mais opções
Base de Dados/Biblioteca
- Lecture Notes in Computer Science Archive (through to 1996) (10)
- SpringerLINK Lecture Notes in Computer Science (2015) (10)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (5)
- Springer Books (5)
- SpringerLink Books Lecture Notes in Computer Science Archive (3)
- Springer Books Online Archive (3)
- Science Citation Index Expanded (Web of Science) (2)
- SpringerLINK Lecture Notes in Computer Science (2014) (1)
- IngentaConnect Journals (1)
- Springer Nature - Springer Computer Science eBooks 2013 English International (1)
- SpringerLINK Lecture Notes in Computer Science (2013) (1)
- Springer Nature - Springer Computer Science eBooks 2015 English International (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 