Proving operational termination of membership equational programs.
Francisco DuránSalvador LucasClaude MarchéJosé MeseguerXavier UrbainPublished in: High. Order Symb. Comput. (2008)
Keyphrases
- term rewrite systems
- theorem proving
- decision making
- neural network
- horn clauses
- computer programs
- answer sets
- similarity measure
- information technology
- relational databases
- case study
- social networks
- artificial intelligence
- programming environment
- genetic algorithm
- control structures
- control program
- provably correct
- database