The SCEAS System
Navigation Menu

Journals in DBLP

Fundam. Inform.
1996, volume: 28, number: 1-2

  1. José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
    Belief Revision in Non-Monotonic Reasoning and Logic Programming. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:1-22 [Journal]
  2. Krzysztof R. Apt, Rachel Ben-Eliyahu
    Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:23-36 [Journal]
  3. Howard A. Blair
    Designing Dependencies. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:37-54 [Journal]
  4. Andrzej Blikle
    Why Denotational? Remarks on Applied Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:55-85 [Journal]
  5. Jürgen Dix, Georg Gottlob, V. Wiktor Marek
    Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:87-100 [Journal]
  6. Melvin Fitting
    A Modal Herbrand Theorem. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:101-122 [Journal]
  7. Georg Gottlob, Miroslaw Truszczynski
    Approximating the Stable Model Semantics is Hard. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:123-128 [Journal]
  8. Jieh Hsiang, Anita Wasilewska
    Automating Algebraic Proofs in Algebraic Logic. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:129-140 [Journal]
  9. Grazyna Mirkowska, Andrzej Salwicki
    The Algebraic Specifications do not Have the Tennenbaum Property. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:141-152 [Journal]
  10. Jan A. Plaza
    Logic Programming from the Perspective of Algebraic Semantics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:153-164 [Journal]
  11. Vaughan R. Pratt, Jerzy Tiuryn
    Satisfiability of Inequalities in a Poset. [Citation Graph (1, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:165-182 [Journal]
  12. Boris A. Trakhtenbrot
    On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:183-195 [Journal]
  13. Pawel Urzyczyn
    Positive Recursive Type Assignment. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:197-209 [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