Login / Signup

Combining First and Higher Order Rewrite Systems with Type Assignment Systems.

Franco BarbaneraMaribel Fernández
Published in: TLCA (1993)
Keyphrases
  • rewrite systems
  • higher order
  • databases
  • pairwise
  • distributed systems
  • artificial intelligence
  • programming language
  • distributed databases