Mechanical Verification of Distributed Algorithms in Higher-Order Logic.

Ching-Tsun Chou

Published in: Comput. J. (1995)

Keyphrases

higher order logic
higher order
distributed systems
learning algorithm
feature selection
general purpose
programming language
genetic programming