Author:
Andreoli Jean-Marc,Mazaré Laurent
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Andreoli, J.M.: Focussing and proof construction. Annals of Pure and Applied Logic 107, 131–163 (2001)
2. Lecture Notes in Artificial Intelligence;J.M. Andreoli,2002
3. Girard, J.Y.: Linear logic. Theoretical Computer Science 50, 1–102 (1987)
4. Danos, V., Regnier, L.: The structure of multiplicatives. Archive for Mathematical Logic 28, 181–203 (1989)
5. Murawski, A., Ong, C.: Dominator trees and fast verification of proof nets. In: Proc. of 15th Conference on Logic in Computer Science, Santa Barbara, Ca, U.S.A., IEEE Computer Society Press, Los Alamitos (2000)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献