Author:
d’Avila Garcez Artur S.,Lamb Luís C.,Gabbay Dov M.
Subject
General Computer Science,Theoretical Computer Science
Reference60 articles.
1. Computational interpretations of linear logic;Abramsky;Theoret. Comput. Sci.,1993
2. N. Alechina, M. Mendler, V. de Paiva, E. Ritter, Categorical and Kripke semantics for constructive S4 modal logic, in: L. Fribourg (Ed.), Computer Science Logic CSL’01, Lecture Notes in Computer Science, Vol. 2142, Paris, France, 2001, pp. 292–307.
3. Explicit provability and constructive semantics;Artemov;Bull. Symbolic Logic,2001
4. S. Artemov, Evidence-based common knowledge, Technical Report TR2004018, City University CUNY Ph.D. Program in Computer Science, New York, 2005.
5. Bioinformatics: The Machine Learning Approach;Baldi,2001
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献