Unification modulo lists with reverse relation with certain word equations (Q2305403): Difference between revisions

@@ 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.1007/978-3-030-29436-6_1
+Normal rank
@@ Property / OpenAlex ID @@
+W2965292668
@@ Property / OpenAlex ID: W2965292668 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification modulo lists with reverse relation with certain word equations
+Normal rank
@@ Property / cites work @@
+New results on rewrite-based satisfiability procedures
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in the union of disjoint equational theories: Combining decision procedures
+Normal rank
@@ Property / cites work @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+On word equations in one variable
@@ Property / cites work: On word equations in one variable / rank @@
+Normal rank
@@ Property / cites work @@
+Finding all solutions of equations in free groups and monoids with involution
+Normal rank
@@ Property / cites work @@
+Abstract data types and software validation
@@ Property / cites work: Abstract data types and software validation / rank @@
+Normal rank
@@ Property / cites work @@
+Proof by consistency
@@ Property / cites work: Proof by consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4662028
@@ Property / cites work: Q4662028 / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings
+Normal rank
@@ Property / cites work @@
+Q5028423
@@ Property / cites work: Q5028423 / rank @@
+Normal rank
@@ Property / cites work @@
+Universality of a reversible two-counter machine
@@ Property / cites work: Universality of a reversible two-counter machine / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Data Type Specification in the Affirm System
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Recursively Defined Data Structures
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for solving word equations
@@ Property / cites work: An efficient algorithm for solving word equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251053
@@ Property / cites work: Q4251053 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Combinations of Theories
@@ Property / cites work: Deciding Combinations of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474847
@@ Property / cites work: Q4474847 / rank @@
+Normal rank