-Calculus.

Ernesto Posse Jürgen Dingel

Published in: FMOODS/FORTE (2010)

Keyphrases

multiscale
database
real time
information systems
face recognition
special case
proof procedure
computer algebra
sequent calculus