Login / Signup

A Program Inverter for a Functional Language with Equality and Constructors.

Robert GlückMasahiko Kawabe
Published in: APLAS (2003)
Keyphrases
  • functional language
  • functional programs
  • functional programming
  • programming language
  • database
  • description logics
  • proof planning
  • databases
  • data structure
  • relational databases
  • fixpoint