Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
2 |
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 |
3 |
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 |
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: 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 |
6 |
Material Type: Capítulo de Livro
|
![]() |
Composing Proof TermsKohl, Christina ; Middeldorp, AartAutomated Deduction – CADE 27, 2019, p.337-353 [Periódico revisado por pares]Cham: Springer International PublishingSem texto completo |
7 |
Material Type: Ata de Congresso
|
![]() |
Constraints for Argument FilteringsZankl, Harald ; Hirokawa, Nao ; Middeldorp, AartSOFSEM 2007: Theory and Practice of Computer Science, p.579-590 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
8 |
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 |
9 |
Material Type: Ata de Congresso
|
![]() |
Increasing InterpretationsZankl, Harald ; Middeldorp, AartIntelligent Computer Mathematics, Vol.5144, p.191-205 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
10 |
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 |