Author:
Di Cosmo Roberto,Loddo Jean-Vincent,Nicolet Stephane
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Aumann and Hart (eds). Handbook of Game Theory with Economic Applications. 1992.
2. Samson Abramsky and Rhada Jagadeesan. Games and full completeness for multiplicative linear logic. The Journal of Symbolic Logic, 59(2):543–574, 1994.
3. Krzysztof Apt. From Logic Programming to Prolog. Prentice Hall, 1997.
4. A. Bossi, M. Gabbrielli, G. Levi, and M. Martelli. The s-semantics approach: Theory and applications. Journal of Logic Programming, 19–20:149–197, 1994.
5. A. Blass. A game semantics for linear logic. Annals of Pure and Applied Logic, 56:pages 183–220, 1992.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献