Login / Signup

Semi-inversion of Conditional Constructor Term Rewriting Systems.

Maja Hanne KirkebyRobert Glück
Published in: LOPSTR (2019)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • image reconstruction
  • random field model
  • laplace transform
  • database
  • software engineering
  • data management