Hasil Pencarian - Aart Middeldorp
- Menampilkan 1 - 4 hasil dari 4
-
1
Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited oleh Friedrich Neurauter, Aart Middeldorp
Diterbitkan 2014-09-01Dapatkan teks lengkap
Artikel -
2
Uncurrying for Innermost Termination and Derivational Complexity oleh Aart Middeldorp, Nao Hirokawa, Harald Zankl
Diterbitkan 2011-02-01Dapatkan teks lengkap
Artikel -
3
Complexity of Conditional Term Rewriting oleh Cynthia Kop, Aart Middeldorp, Thomas Sternagel
Diterbitkan 2017-02-01Dapatkan teks lengkap
Artikel -
4
Abstract Completion, Formalized oleh Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler
Diterbitkan 2019-08-01Dapatkan teks lengkap
Artikel