Login / Signup

Compositionality of Rewriting Rules with Conditions.

Nicolas BehrJean Krivine
Published in: Compositionality (2021)
Keyphrases
  • rewriting rules
  • rewrite rules
  • transformation rules
  • software development
  • search engine
  • case study
  • multi dimensional
  • data driven
  • pattern matching
  • object oriented databases
  • relational calculus