A Calculus of Chemical Systems.

Gordon D. Plotkin

Published in: In Search of Elegance in the Theory and Practice of Computation (2013)

Keyphrases

building blocks
real time
retrieval systems
formal methods
systems require
database
database systems
multiscale
search algorithm
natural language
artificial neural networks
distributed systems
intelligent systems
knowledge based systems
provably correct