Rendezvous with ADA: a proof theoretical view.

Amir Pnueli Willem P. de Roever

Published in: AdaTEC Conference on Ada (1982)

Keyphrases

theorem prover
theorem proving
database
databases
data mining
image segmentation
multiscale
wide range
object recognition
lower bound
theoretical analysis
linear logic