The SCEAS System
Navigation Menu

Journals in DBLP

Notre Dame Journal of Formal Logic
1996, volume: 37, number: 2

  1. Patrick Blackburn, Maarten de Rijke
    Special Issue on Combining Logics - Editor's Introduction. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:2, pp:161-166 [Journal]
  2. Frank Wolter
    A Counterexample in Tense Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:2, pp:167-173 [Journal]
  3. Edith Hemaspaandra
    The Price of Universality. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:2, pp:174-203 [Journal]
  4. Marcelo Finger, Dov M. Gabbay
    Combining Temporal Logic Systems. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:2, pp:204-232 [Journal]
  5. Joeri Engelfriet
    Minimal Temporal Epistemic Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:2, pp:233-259 [Journal]
  6. Angelo Montanari, Alberto Policriti
    Decidability Results for Metric and Layered Temporal Logics. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:2, pp:260-282 [Journal]
  7. Arend Rensink
    Algebra and Theory of Order-Deterministic Pomsets. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:2, pp:283-320 [Journal]
  8. Albert Visser, Kees Vermeulen
    Dynamic Bracketing and Discourse Representation. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:2, pp:321-365 [Journal]
  9. A. Jánossy, Ágnes Kurucz, A. E. Eiben
    Combining Algebraizable Logics. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:2, pp:366-380 [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