Journals in DBLP

Theor. Comput. Sci.
1997, volume: 173, number: 1

1. Laurent Michel, Pascal Van Hentenryck
   Helios: A Modeling Language for Global Optimization and its Implementation in Newton. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:173, n:1, pp:3-48 [Journal]
   
2. Nikolaj Bjørner, Anca Browne, Zohar Manna
   Automatic Generation of Invariants and Intermediate Assertions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:173, n:1, pp:49-87 [Journal]
   
3. Manolis Koubarakis
   From Local to Global Consistency in Temporal Constraint Networks. [Citation Graph (1, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:173, n:1, pp:89-112 [Journal]
   
4. Michael J. Maher
   Constrained Dependencies. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:173, n:1, pp:113-149 [Journal]
   
5. Stéphane Grumbach, Jianwen Su
   Queries with Arithmetical Constraints. [Citation Graph (11, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:173, n:1, pp:151-181 [Journal]
   
6. Farid Ajili, Evelyne Contejean
   Avoiding Slack Variables in the Solving of Linear Diophantine Equations and Inequations. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:173, n:1, pp:183-208 [Journal]
   
7. Kim Marriott, Martin Odersky
   A Confluent Calculus for Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:173, n:1, pp:209-233 [Journal]
   
8. Andreas Podelski, Gert Smolka
   Situated Simplification. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:173, n:1, pp:235-252 [Journal]
   
9. Pierre Girodias, Eduard Cerny, William J. Older
   Solving Linear, Min and Max Constraint Systems Using CLP Based on Relational Interval Arithmetic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:173, n:1, pp:253-281 [Journal]
   
10. Rina Dechter, Peter van Beek
    Local and Global Relational Consistency. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:173, n:1, pp:283-308 [Journal]