Order-Sorted Rewriting and Congruence Closure (Q2811360)

From MaRDI portal





scientific article; zbMATH DE number 6591838
Language Label Description Also known as
default for all languages
No label defined
    English
    Order-Sorted Rewriting and Congruence Closure
    scientific article; zbMATH DE number 6591838

      Statements

      Order-Sorted Rewriting and Congruence Closure (English)
      0 references
      0 references
      10 June 2016
      0 references
      order-sorted rewriting
      0 references
      congruence closure
      0 references
      satisfiability
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers