Parallelisation of Divide-and-Conquer in the Bird-Meertens Formalism.

Sergei Gorlatch Christian Lengauer

Published in: Formal Aspects Comput. (1995)

Keyphrases

knowledge representation
bird species
logical framework
real time
neural network
conceptual graphs
databases
multiscale
formal model
formal theory