Forskning ved Københavns Universitet - Københavns Universitet

Forside

Publikationer

  1. Udgivet
  2. Udgivet
  3. Udgivet
  4. Udgivet
  5. Udgivet
  6. Udgivet
  7. Udgivet
  8. Udgivet
  9. Udgivet
  10. Udgivet

    Semi-inversion of conditional constructor term rewriting systems

    Kirkeby, M. H. & Glück, Robert, 2020, Logic-based Program Synthesis and Transformation. Gabbrielli, M. (red.). Springer, s. 243-259 (Lecture Notes in Computer Science, Bind 12042).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt