Sequential Calculus for Proving the Properties of Regular Programs.

Aida Pliuskeviciene

Published in: LFCS (1992)

Keyphrases

desirable properties
artificial neural networks
provably correct
database
neural network
real world
information retrieval
information systems
fixpoint
formal language
automatic programming
java programs
algebraic structure
sequential search