Encoding CDuce in the Cpi-Calculus.

Giuseppe Castagna Mariangiola Dezani-Ciancaglini Daniele Varacca

Published in: CONCUR (2006)

Keyphrases

encoding scheme
real time
fractal image compression
relational calculus
encoding schemes
genetic algorithm
artificial intelligence
information systems
data structure
relational databases
logic programming
algebraic structure