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: Capítulo de Livro
|
Satisfiability of Non-linear (Ir)rational ArithmeticZankl, Harald ; Middeldorp, AartLogic for Programming, Artificial Intelligence, and Reasoning, p.481-500 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
6 |
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 |
|
7 |
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 |
|
8 |
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 |
|
9 |
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 |
|
10 |
Material Type: Livro
|
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th BirthdayMiddeldorp, Aart ; de Vrijer, Roel ; van Oostrom, Vincent ; van Raamsdonk, FemkeBerlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |