Regular expression order-sorted unification and matching (Q741252)

From MaRDI portal





scientific article; zbMATH DE number 6342538
Language Label Description Also known as
default for all languages
No label defined
    English
    Regular expression order-sorted unification and matching
    scientific article; zbMATH DE number 6342538

      Statements

      Regular expression order-sorted unification and matching (English)
      0 references
      0 references
      0 references
      11 September 2014
      0 references
      unification
      0 references
      matching
      0 references
      ordered sorts
      0 references
      regular expressions
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers