Meadows and the equational specification of division.

Jan A. Bergstra Yoram Hirshfeld John V. Tucker

Published in: Theor. Comput. Sci. (2009)

Keyphrases

theorem proving
specification language
formal specification
equational theories
high level
conceptual model
theorem prover
databases
information retrieval
genetic algorithm
artificial intelligence
information systems
case study
similarity measure
artificial neural networks