Journals in DBLP

J. Symb. Comput.
1993, volume: 15, number: 5/6

1. Nachum Dershowitz, Uday S. Reddy
   Deductive and Inductive Synthesis of Equational Programs. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1993, v:15, n:5/6, pp:467-494 [Journal]
   
2. Dmitri Boulanger, Maurice Bruynooghe
   Deriving Fold/Unfold Transformations of Logic Programs Using Extended OLDT-Based Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1993, v:15, n:5/6, pp:495-521 [Journal]
   
3. Arie van Deursen, Paul Klint, Frank Tip
   Origin Tracking. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1993, v:15, n:5/6, pp:523-545 [Journal]
   
4. Philippe Clauss, Catherine Mongenet
   Synthesis Aspects in the Design of Efficient Processor Arrays from Affine Recurrence Equations. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1993, v:15, n:5/6, pp:547-569 [Journal]
   
5. Douglas R. Smith
   Constructing Specification Morphisms. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1993, v:15, n:5/6, pp:571-606 [Journal]
   
6. Christine Paulin-Mohring, Benjamin Werner
   Synthesis of ML Programs in the System Coq. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1993, v:15, n:5/6, pp:607-640 [Journal]
   
7. Yukihide Takayama
   QPC_2: A Constructive Calculus with Parameterized Specifications. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1993, v:15, n:5/6, pp:641-672 [Journal]
   
8. Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti
   A Derived Algorithm for Evaluating \varepsilon-Expressions over Abstract Sets. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1993, v:15, n:5/6, pp:673-704 [Journal]
   
9. Ritu Chadha, David A. Plaisted
   On the Mechanical Derivation of Loop Invariants. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1993, v:15, n:5/6, pp:705-744 [Journal]
   
10. Nachum Dershowitz, Yuh-Jeng Lee
    Logical Debugging. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:5/6, pp:745-773 [Journal]
    
11. Pierre Flener, Yves Deville
    Logic Program Synthesis from Incomplete Specifications. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:5/6, pp:778-805 [Journal]
    
12. Amr F. Fahmy, Alan W. Biermann
    Synthesis of Real Time Acceptors. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:5/6, pp:807-842 [Journal]