Author:
Despeyroux Joëlle,Olarte Carlos,Pimentel Elaine
Subject
General Computer Science,Theoretical Computer Science
Reference21 articles.
1. Foundations for reliable and flexible interactive multimedia scores;Arias,2015
2. Logic programming with focusing proofs in linear logic;Andreoli;J. Log. Comput.,1992
3. Least and greatest fixed points in linear logic;Baelde;ACM Trans. Comput. Log.,2012
4. Symbolic model checking: 10ˆ20 states and beyond;Burch;Inf. Comput.,1992
5. Classical and intuitionistic subexponential logics are equally expressive;Chaudhuri,2010
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Computational Logic for Biomedicine and Neurosciences;Symbolic Approaches to Modeling and Analysis of Biological Systems;2023-08-04
2. A Survey of the Proof-Theoretic Foundations of Logic Programming;Theory and Practice of Logic Programming;2021-11-18
3. Hybrid linear logic, revisited;Mathematical Structures in Computer Science;2019-04-22
4. A Logical Framework for Modelling Breast Cancer Progression;Molecular Logic and Computational Synthetic Biology;2019
5. Mechanizing Focused Linear Logic in Coq;Electronic Notes in Theoretical Computer Science;2018-10