|
Journals in DBLP
Inf. Comput. 1998, volume: 142, number: 1
- Dexter Kozen
Set Constraints and Logic Programming. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1998, v:142, n:1, pp:2-25 [Journal]
- Spiro Michaylov
Repeated Redundant Inequalities in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1998, v:142, n:1, pp:26-39 [Journal]
- Witold Charatonik
Set Constraints in Some Equational Theories. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1998, v:142, n:1, pp:40-75 [Journal]
- Rolf Backofen, Ralf Treinen
How to Win a Game with Features. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1998, v:142, n:1, pp:76-101 [Journal]
- Christopher Lynch
Local Simplification. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1998, v:142, n:1, pp:102-126 [Journal]
|