Back to Results
First PageMeta Content
Metalogic / Proof theory / Philosophical logic / Linear logic / Auction / Sequent calculus / If and only if / Well-formed formula / Entailment / Logic / Binary operations / Logical syntax


Modelling Combinatorial Auctions in Linear Logic
Add to Reading List

Document Date: 2012-12-06 05:17:38

Open Document

File Size: 546,72 KB

Share Result on Facebook
UPDATE