MELL in the calculus of structures.

Lutz Straßburger

Published in: Theor. Comput. Sci. (2003)

Keyphrases

expressive power
database
data sets
search algorithm
multi agent systems
expert systems
information technology
complex structures