Login / Signup

A By-Level Analysis of Multiplicative Exponential Linear Logic.

Marco GaboardiLuca RoversiLuca Vercelli
Published in: MFCS (2009)
Keyphrases
  • linear logic
  • decision making
  • desirable properties
  • artificial intelligence
  • reinforcement learning