Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Samson Abramsky. Observation equivalence as a testing equivalence. Theoretical Computer Science, 53:225–241, 1987.
2. Samson Abramsky. Computational interpretations of linear logic. Technical Report Research Report DOC 90/20, Imperial College, October 1990.
3. Samson Abramsky. Proofs as processes. Copy of transparencies, 1991.
4. J.M. Andreoli and R. Pareschi. Linear objects: Logical processes with builtin inheritance. New Generation Computing, 9:3–4, 1991. (Special issue of papers selected from ICLP'90).
5. Amy Felty. A logic program for transforming sequent proofs to natural deduction proofs. In Peter Schroeder-Heister, editor, Extensions of Logic Programming: International Workshop, Tübingen FRG, December 1989, volume 475 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1991.
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Game Model for Proofs with Costs;Lecture Notes in Computer Science;2019
2. Relating reasoning methodologies in linear logic and process algebra;Mathematical Structures in Computer Science;2014-11-10
3. A proof-theoretic view on scheduling in concurrency;Electronic Proceedings in Theoretical Computer Science;2014-09-09
4. Evaluating functions as processes;Electronic Proceedings in Theoretical Computer Science;2013-02-25
5. Proofs as Executions;Lecture Notes in Computer Science;2012