The SCEAS System
Navigation Menu

Journals in DBLP

Ann. Pure Appl. Logic
1994, volume: 67, number: 1-3

  1. Anil Nerode, Michael A. Taitslin
    A Selection of Papers Presented at the Symposium "Logic at Tver '92" - Preface. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:67, n:1-3, pp:1- [Journal]
  2. Dmitry A. Archangelsky, Mikhail A. Taitslin
    Linear Logic with Fixed Resources. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:67, n:1-3, pp:3-28 [Journal]
  3. Sergei N. Artëmov
    Logic of Proofs. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:67, n:1-3, pp:29-59 [Journal]
  4. Frank A. Bäuerle, Jeffrey B. Remmel
    On Speedable and Levelable Vector Spaces. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:67, n:1-3, pp:61-112 [Journal]
  5. Robert Harper, Donald Sannella, Andrzej Tarlecki
    Structured Theory Presentations and Logic Representations. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:67, n:1-3, pp:113-160 [Journal]
  6. Vadim Kagan, Anil Nerode, V. S. Subrahmanian
    Computing Definite Logic Programs by Partial Instantiation. [Citation Graph (1, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:67, n:1-3, pp:161-182 [Journal]
  7. Max I. Kanovich
    Linear Logic as a Logic of Computations. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:67, n:1-3, pp:183-212 [Journal]
  8. Bakhadyr Khoussainov
    Recursive Unary Algebras and Trees. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:67, n:1-3, pp:213-268 [Journal]
  9. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:67, n:1-3, pp:269-323 [Journal]
  10. Yuri Matiyasevich
    A Direct Method for Simulating Partial Recursive Functions by Diophantine Equations. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:67, n:1-3, pp:325-348 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002