Now showing items 1-1 of 1

    • Redundancy and subsumption in high-level replacement systems 

      Valiente Feruglio, Gabriel Alejandro; Kreowski, H.-J. (1999-07)
      Research report
      Open Access
      System verification in the broadest sense deals with those semantic properties that can be decided or deduced by analyzing a syntactical description of the system. Hence, one may consider the notions of redundancy ...