CoBiC: Context-dependent Bioambient Calculus.

Luca Bortolussi Maria Grazia Vigliotti

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

context dependent
semantic level
context free
low level
user centric
high level
natural language
computer algebra
information retrieval
expressive power
natural deduction