Reflection and strategies in rewriting logic.

Manuel Clavel José Meseguer

Published in: WRLA (1996)

Keyphrases

expressive power
predicate logic
data sets
neural network
genetic algorithm
information systems
website
online auctions