Equivalence of Programs with Structured Variables.
Alfred V. AhoJeffrey D. UllmanPublished in: J. Comput. Syst. Sci. (1972)
Keyphrases
- structured data
- automatic programming
- equivalence relationship
- machine learning
- propositional variables
- relevant variables
- fixpoint
- variable selection
- universally quantified
- independent variables
- causal relationships
- databases
- random variables
- artificial neural networks
- information technology
- objective function
- artificial intelligence
- real world