Pages that link to "Item:Q1598445"

From MaRDI portal

← Single elementary associative-commutative matching (Q1598445)

Jump to:navigation, search

What links here

⧼whatlinkshere-whatlinkshere-target⧽

Page:

⧼whatlinkshere-whatlinkshere-ns⧽

Namespace:

Invert selection

⧼whatlinkshere-whatlinkshere-filter⧽

Hide transclusions

Hide links

Hide redirects

The following pages link to Single elementary associative-commutative matching (Q1598445):

Displaying 5 items.

On the parameterized complexity of associative and commutative unification (Q729894) (← links)
Variadic equational matching in associative and commutative theories (Q2029000) (← links)
On the Parameterized Complexity of Associative and Commutative Unification (Q2946004) (← links)
Tactics for Reasoning Modulo AC in Coq (Q3100211) (← links)
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms* (Q4988927) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q1598445"