Login / Signup

Modular Properties of Composable Term Rewriting Systems.

Enno Ohlebusch
Published in: J. Symb. Comput. (1995)
Keyphrases
  • term rewriting systems
  • functional programs
  • desirable properties
  • logic programs
  • neural network
  • data streams
  • data sources