Church-Rosser Theorem for a Rewriting System on Categorical Combinators.
Hirofumi YokouchiPublished in: Theor. Comput. Sci. (1989)
Keyphrases
- categorical data
- recursive functions
- rewriting rules
- rewrite rules
- von neumann
- conjunctive queries
- queries using views
- datalog programs
- query rewriting
- cluster analysis
- attribute values
- neural network
- numerical data
- data model
- evolutionary algorithm
- reinforcement learning
- information systems
- genetic algorithm
- data mining