792 search results - page 159 / 159 » Value Based Argumentation Frameworks |
STOC
2012
ACM
11 years 7 months ago
2012
ACM
Option contracts are a type of financial derivative that allow investors to hedge risk and speculate on the variation of an asset’s future market price. In short, an option has...
CC
2003
Springer
13 years 10 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...