A Calculus of Anyons.

Alessandra Di Pierro Federica Panarotto

Published in: WoLLIC (2014)

Keyphrases

search engine
proof procedure
timed automata
image processing
similarity measure
natural language
automated deduction
computer algebra
sequent calculus
relation algebra