Login / Signup

-Calculus Augmented with Sabotage.

Philipp Rohde
Published in: FoSSaCS (2006)
Keyphrases
  • neural network
  • multiscale
  • decision trees
  • information technology
  • temporal reasoning
  • formal language
  • algebraic structure
  • relation algebra