Login / Signup

Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi.

Roberto Di CosmoDelia Kesner
Published in: ICALP (1994)
Keyphrases
  • rewriting systems
  • higher order
  • qualitative spatial
  • first order logic
  • knowledge representation
  • complex objects
  • data model
  • data management
  • transitive closure
  • rewriting rules