Efficient general AGH-unification (Q462489): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude-NPA
@@ Property / describes a project that uses: Maude-NPA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2014.07.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2004781946
@@ Property / OpenAlex ID: W2004781946 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q118190368
@@ Property / Wikidata QID: Q118190368 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4341785
@@ Property / cites work: Q4341785 / rank @@
+Normal rank
@@ Property / cites work @@
+Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
+Normal rank
@@ Property / cites work @@
+Q3219154
@@ Property / cites work: Q3219154 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification and matching modulo nilpotence
@@ Property / cites work: Unification and matching modulo nilpotence / rank @@
+Normal rank
@@ Property / cites work @@
+A criterion for intractability of E-unification with free function symbols and its relevance for combination of unification algorithms
+Normal rank
@@ Property / cites work @@
+Unification algorithms cannot be combined in polynomial time
+Normal rank
@@ Property / cites work @@
+Unification in commutative theories
@@ Property / cites work: Unification in commutative theories / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in a combination of arbitrary disjoint equational theories
+Normal rank
@@ Property / cites work @@
+Unification in Boolean rings and Abelian groups
@@ Property / cites work: Unification in Boolean rings and Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751361
@@ Property / cites work: Q2751361 / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Efficient General Unification for XOR with Homomorphism
+Normal rank
@@ Property / cites work @@
+Q2724150
@@ Property / cites work: Q2724150 / rank @@
+Normal rank