DeltaCCS: A Core Calculus for Behavioral Change.

Malte Lochau Stephan Mennicke Hauke Baller Lars Ribbeck

Published in: ISoLA (1) (2014)

Keyphrases

databases
information retrieval
automated deduction
image processing
computer algebra