Login / Signup

An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion.

Maria Bendix MikkelsenRobert GlückMaja H. Kirkeby
Published in: VPT@ETAPS (2021)
Keyphrases
  • term rewriting systems
  • image reconstruction
  • case study
  • functional programs
  • laplace transform
  • database
  • artificial intelligence
  • database systems
  • data structure
  • query optimization
  • conceptual model