Author:
Aubert Clément,Bagnol Marc,Pistone Paolo,Seiller Thomas
Publisher
Springer International Publishing
Reference32 articles.
1. Asperti, A., Danos, V., Laneve, C., Regnier, L.: Paths in the lambda-calculus. In: LICS, pp. 426–436. IEEE Computer Society (1994)
2. Lecture Notes in Computer Science;C. Aubert,2014
3. Aubert, C., Seiller, T.: Characterizing co-nl by a group action. Arxiv preprint abs/1209.3422 (2012)
4. Baader, F., Snyder, W.: Unification theory. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 445–532. Elsevier and MIT Press (2001)
5. Baillot, P., Mazza, D.: Linear logic by levels and bounded time complexity. Theoret. Comput. Sci. 411(2), 470–503 (2010)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Interaction Graphs;ACM Transactions on Computational Logic;2018-07-31
2. UNIFICATION AND LOGARITHMIC SPACE;LOG METH COMPUT SCI;2018
3. Unary Resolution: Characterizing Ptime;Lecture Notes in Computer Science;2016
4. Transcendental syntax I: deterministic case;Mathematical Structures in Computer Science;2015-07-20