Hasil Pencarian - Aart Middeldorp

  • Menampilkan 1 - 4 hasil dari 4
Perbaiki Hasil
  1. 1
    Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited

    Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited oleh Friedrich Neurauter, Aart Middeldorp

    Diterbitkan 2014-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Uncurrying for Innermost Termination and Derivational Complexity

    Uncurrying for Innermost Termination and Derivational Complexity oleh Aart Middeldorp, Nao Hirokawa, Harald Zankl

    Diterbitkan 2011-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Complexity of Conditional Term Rewriting

    Complexity of Conditional Term Rewriting oleh Cynthia Kop, Aart Middeldorp, Thomas Sternagel

    Diterbitkan 2017-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    Abstract Completion, Formalized

    Abstract Completion, Formalized oleh Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler

    Diterbitkan 2019-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: