|
|
Journals in DBLP
- Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, G. Kutty
Interval Logics and Their Decision Procedures, Part I: An Interval Logic. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1996, v:166, n:1&2, pp:1-47 [Journal]
- Uchang Park
An Algebraic Formulation of the Aggregative Closure Query. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1996, v:166, n:1&2, pp:49-62 [Journal]
- Enshao Shen, Qijia Tian
Monadic Partition Logics and Finite Automata. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1996, v:166, n:1&2, pp:63-81 [Journal]
- R. Hoofman
Comparing Models of the Intensional Typed Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1996, v:166, n:1&2, pp:83-99 [Journal]
- Sandro Etalle, Maurizio Gabbrielli
Transformations of CLP Modules. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1996, v:166, n:1&2, pp:101-146 [Journal]
- Jean-Denis Fouks, Jean-Claude Spehner
Meta-Resolution: An Algorithmic Formalisation. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1996, v:166, n:1&2, pp:147-172 [Journal]
- Stéphane Demri, Ewa Orlowska
Logical Analysis of Demonic Nondeterministic Programs. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1996, v:166, n:1&2, pp:173-202 [Journal]
- Guo-Qiang Zhang
The Largest Cartesian Closed Category of Stable Domains. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1996, v:166, n:1&2, pp:203-219 [Journal]
- Georg Gottlob, Sherry Marcus, Anil Nerode, Gernot Salzer, V. S. Subrahmanian
A Non-Ground Realization of the Stable and Well-Founded Semantics. [Citation Graph (3, 0)][DBLP]
Theor. Comput. Sci., 1996, v:166, n:1&2, pp:221-262 [Journal]
- Karl Meinke
Topological Methods for Algebraic Specification. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1996, v:166, n:1&2, pp:263-290 [Journal]
- Anatoli Degtyarev, Andrei Voronkov
The Undecidability of Simultaneous Rigid E-Unification. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1996, v:166, n:1&2, pp:291-300 [Journal]
|
