Software: Practice and Experience

Cover image for Software: Practice and Experience

July 1994

Volume 24, Issue 7

Pages fmi–fmi, 603–677

  1. Masthead

    1. Top of page
    2. Masthead
    3. Articles
    4. Correction
    1. Masthead (page fmi)

      Article first published online: 30 OCT 2006 | DOI: 10.1002/spe.4380240701

  2. Articles

    1. Top of page
    2. Masthead
    3. Articles
    4. Correction
    1. Signature-check based unification filter (pages 603–622)

      Alfredo M. Maeda, Jun-Ichi Aoe and Hideto Tomabechi

      Article first published online: 30 OCT 2006 | DOI: 10.1002/spe.4380240702

    2. Algorithm-oriented generic libraries (pages 623–642)

      David R. Musser and Alexander A. Stepanov

      Article first published online: 30 OCT 2006 | DOI: 10.1002/spe.4380240703

    3. Automatic synthesis of state machines from trace diagrams (pages 643–658)

      Kai Koskimies and Erkki Mäkinen

      Article first published online: 30 OCT 2006 | DOI: 10.1002/spe.4380240704

    4. The application of prolog to structured design (pages 659–676)

      T. H. Tse, T. Y. Chen, F. T. Chan, H. Y. Chen and H. L. Xie

      Article first published online: 30 OCT 2006 | DOI: 10.1002/spe.4380240705

  3. Correction

    1. Top of page
    2. Masthead
    3. Articles
    4. Correction
    1. You have free access to this content

SEARCH

SEARCH BY CITATION