The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1994, volume: 122, number: 1&2

  1. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    A Compositional Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:122, n:1&2, pp:3-47 [Journal]
  2. Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
    Adding Closed World Assumptions to Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:122, n:1&2, pp:49-68 [Journal]
  3. Tadashi Kawamura
    Logic Program Synthesis from First-Order Logic Specifications. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:122, n:1&2, pp:69-96 [Journal]
  4. Bern Martens, Danny De Schreye, Tamás Horváth
    Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:122, n:1&2, pp:97-117 [Journal]
  5. Makoto Tatsuta
    Realizability Interpretation of Coinductive Definitions and Program Synthesis with Streams. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:122, n:1&2, pp:119-136 [Journal]
  6. Yukihide Takayama
    Defining Concurrent Processes Constructively. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:122, n:1&2, pp:137-164 [Journal]
  7. Andrea Corradini, Ugo Montanari, Francesca Rossi
    An Abstract Machine for Concurrent Modular Systems: CHARM. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:122, n:1&2, pp:165-200 [Journal]
  8. Vincent Poirriez
    MLOG: A Strongly Typed Confluent Functional Language with Logical Variables. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:122, n:1&2, pp:201-223 [Journal]
  9. Marc Denecker, Danny De Schreye
    On the Duality of Abduction and Model Generation in a Framework for Model Generation with Equality. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:122, n:1&2, pp:225-262 [Journal]
  10. Hassan Aït-Kaci, Andreas Podelski, Gert Smolka
    A Feature Constraint System for Logic Programming with Entailment. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:122, n:1&2, pp:263-283 [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