Refinement and Recursion in a High Level Petri Box Calculus.

Raymond R. Devillers Hanna Klaudel

Published in: STRICT (1995)

Keyphrases

high level
low level
deductive databases
programming language
higher level
complex objects
neural network
low level features
query refinement
proof procedure
databases
information retrieval
learning algorithm
first order logic
refinement process
automated deduction