Inductive Completion for Transformation of Equational Specifications.
Steffen LangeKlaus P. JantkePublished in: ADT (1990)
Keyphrases
- recursive programs
- transformation rules
- theorem proving
- inductive learning
- databases
- machine learning
- relational databases
- inductive logic programming
- neural network
- delay insensitive
- concept learning
- high level
- rule learning
- linear transformation
- formal verification
- multi agent systems
- program synthesis
- multiscale
- equational theories
- fukunaga koontz