Rho-Calculi for Computation and Logic (Invited Talk).

Claude Kirchner

Published in: RTA (2012)

Keyphrases

invited talk
sequent calculi
knowledge discovery and data mining
selected papers
logic programming
database
mobile devices
classical logic
conditional logic