Author:
PYM DAVID J.,HARLAND JAMES A.
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reductive Logic, Proof-Search, and Coalgebra: A Perspective from Resource Semantics;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
2. A Survey of the Proof-Theoretic Foundations of Logic Programming;Theory and Practice of Logic Programming;2021-11-18
3. Reciprocal Influences Between Proof Theory and Logic Programming;Philosophy & Technology;2019-08-06
4. RASP and ASP as a fragment of linear logic;Journal of Applied Non-Classical Logics;2013-06
5. Preface;Theoretical Computer Science;2011-04