Recursive Calculus with Membranes.

Adrian Atanasiu Carlos Martín-Vide

Published in: Fundam. Informaticae (2002)

Keyphrases

datalog programs
data sets
constraint satisfaction problems
automated deduction
computer algebra
information retrieval
search engine
decision trees
database systems
electron microscopy
provably correct