The SCEAS System
| |||||||

## Search the dblp DataBase
David J. Pym:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- David J. Pym, Lincoln A. Wallen
**Logic Programming via Proof-valued Computations.**[Citation Graph (0, 0)][DBLP] ALPUK, 1992, pp:253-262 [Conf] - James Harland, David J. Pym, Michael Winikoff
**Programming in Lygon: An Overview.**[Citation Graph (0, 0)][DBLP] AMAST, 1996, pp:391-405 [Conf] - James Harland, David J. Pym, Michael Winikoff
**Programming in Lygon: A System Demonstration.**[Citation Graph (0, 0)][DBLP] AMAST, 1996, pp:599- [Conf] - Pablo A. Armelín, David J. Pym
**Bunched Logic Programming.**[Citation Graph (0, 0)][DBLP] IJCAR, 2001, pp:289-304 [Conf] - James Harland, David J. Pym
**Resource-Distribution via Boolean Constraint (Extended Abstract).**[Citation Graph (0, 0)][DBLP] CADE, 1997, pp:222-236 [Conf] - David J. Pym, Lincoln A. Wallen
**Investigations into Proof-Search in a System of First-Order Dependent Function Types.**[Citation Graph (0, 0)][DBLP] CADE, 1990, pp:236-250 [Conf] - Eike Ritter, David J. Pym, Lincoln A. Wallen
**Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract).**[Citation Graph (0, 0)][DBLP] CADE, 1996, pp:17-31 [Conf] - Matthew Collinson, David J. Pym, Edmund Robinson
**On Bunched Polymorphism.**[Citation Graph (0, 0)][DBLP] CSL, 2005, pp:36-50 [Conf] - Didier Galmiche, Daniel Méry, David J. Pym
**Resource Tableaux.**[Citation Graph (0, 0)][DBLP] CSL, 2002, pp:183-199 [Conf] - Samin S. Ishtiaq, David J. Pym
**Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus.**[Citation Graph (0, 0)][DBLP] CSL, 1999, pp:235-249 [Conf] - David J. Pym, Eike Ritter
**A games semantics for reductive logic and proof-search.**[Citation Graph (0, 0)][DBLP] GALOP, 2005, pp:107-123 [Conf] - Carsten Führmann, David J. Pym
**On the Geometry of Interaction for Classical Logic.**[Citation Graph (0, 0)][DBLP] LICS, 2004, pp:211-220 [Conf] - David J. Pym
**On Bunched Predicate Logic.**[Citation Graph (0, 0)][DBLP] LICS, 1999, pp:183-192 [Conf] - James Harland, David J. Pym
**On Resolution in Fragments of Classical Linear Logic.**[Citation Graph (0, 0)][DBLP] LPAR, 1992, pp:30-41 [Conf] - James Harland, David J. Pym
**The Uniform Proof-Theoretic Foundation of Linear Logic Programming.**[Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:304-318 [Conf] - James Harland, David J. Pym, Michael Winikoff
**Programming in Lygon: A Brief Overview.**[Citation Graph (0, 0)][DBLP] ILPS, 1995, pp:636- [Conf] - Eike Ritter, David J. Pym, Lincoln A. Wallen
**On the Intuitionistic Force of Classical Search (Extended Abstract).**[Citation Graph (0, 0)][DBLP] TABLEAUX, 1996, pp:295-311 [Conf] - Peter W. O'Hearn, David J. Pym
**The logic of bunched implications.**[Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 1999, v:5, n:2, pp:215-244 [Journal] - James Harland, David J. Pym
**Resource-distribution via Boolean constraints**[Citation Graph (0, 0)][DBLP] CoRR, 2000, v:0, n:, pp:- [Journal] - David J. Pym
**Logic Programming with Bunched Implications.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1998, v:17, n:, pp:- [Journal] - David J. Pym
**Notes Towards a Semantics for Proof-search.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2000, v:37, n:, pp:- [Journal] - Matthew Collinson, David J. Pym
**Bunching for Regions and Locations.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:171-197 [Journal] - James Harland, David J. Pym, Michael Winikoff
**Forward and Backward Chaining in Linear Logic.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2000, v:37, n:, pp:- [Journal] - David J. Pym, Chris M. N. Tofts
**Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:545-587 [Journal] - David J. Pym, Chris M. N. Tofts
**A Calculus and logic of resources and processes.**[Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2006, v:18, n:4, pp:495-517 [Journal] - David J. Pym
**A Unification Algorithm for the lambda-Pi-Calculus.**[Citation Graph (0, 0)][DBLP] Int. J. Found. Comput. Sci., 1992, v:3, n:3, pp:333-378 [Journal] - David J. Pym
**Editorial.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 2003, v:13, n:5, pp:633-638 [Journal] - David J. Pym
**Editorial.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 2005, v:15, n:6, pp:819- [Journal] - Samin S. Ishtiaq, David J. Pym
**Kripke Resource Models of a Dependently-typed, Bunched [lgr]-calculus.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 2002, v:12, n:6, pp:1061-1104 [Journal] - Samin S. Ishtiaq, David J. Pym
**A Relevant Analysis of Natural Deduction.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 1998, v:8, n:6, pp:809-838 [Journal] - David J. Pym
**Forthcoming Papers.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 2003, v:13, n:5, pp:799-800 [Journal] - David J. Pym
**Editorial.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 2006, v:16, n:1, pp:1-3 [Journal] - David J. Pym, James Harland
**A Uniform Proof-Theoretic Investigation of Linear Logic Programming.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 1994, v:4, n:2, pp:175-207 [Journal] - Eike Ritter, David J. Pym, Lincoln A. Wallen
**Proof-terms for classical and intuitionistic resolution.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 2000, v:10, n:2, pp:173-207 [Journal] - David J. Pym
**A note on the proof theory of the lambda-II-calculus.**[Citation Graph (0, 0)][DBLP] Studia Logica, 1995, v:54, n:2, pp:199-230 [Journal] - Didier Galmiche, David J. Pym
**Proof-search in type-theoretic languages: an introduction.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2000, v:232, n:1-2, pp:5-53 [Journal] - David J. Pym, Peter W. O'Hearn, Hongseok Yang
**Possible worlds and resources: the semantics of BI.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2004, v:315, n:1, pp:257-305 [Journal] - Eike Ritter, David J. Pym, Lincoln A. Wallen
**On the intuitionistic force of classical search.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2000, v:232, n:1-2, pp:299-333 [Journal] - James Harland, David J. Pym
**Resource-distribution via Boolean constraints.**[Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2003, v:4, n:1, pp:56-90 [Journal] - Guy McCusker, David Pym
**A Games Model of Bunched Implications.**[Citation Graph (0, 0)][DBLP] CSL, 2007, pp:573-588 [Conf] **Investments and Trade-offs in the Economics of Information Security.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |