Journals in DBLP

Theor. Comput. Sci.
1993, volume: 114, number: 2

1. Steven Vickers
   Information Systems for Continuous Posets. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:114, n:2, pp:201-229 [Journal]
   
2. Thomas Eiter, Georg Gottlob
   Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete. [Citation Graph (3, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:114, n:2, pp:231-245 [Journal]
   
3. Jules Desharnais, Ali Jaoua, Fatma Mili, Noureddine Boudriga, Ali Mili
   A Relation Division Operator: The Conjugate Kernel. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:114, n:2, pp:247-272 [Journal]
   
4. Daniel J. Dougherty
   Higher-Order Unification via Combinators. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:114, n:2, pp:273-298 [Journal]
   
5. Michael Barr
   Terminal Coalgebras in Well-Founded Set Theory. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:114, n:2, pp:299-315 [Journal]
   
6. Morten Elvang-Gøransson, Olaf Owe
   A Simple Sequent Calculus for Partial Functions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:114, n:2, pp:317-330 [Journal]