A framework for approximate generalization in quantitative theories (Q2104546): Difference between revisions

@@ Property / describes a project that uses @@
+Getafix
@@ Property / describes a project that uses: Getafix / 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.1007/978-3-031-10769-6_34
+Normal rank
@@ Property / OpenAlex ID @@
+W4289104059
@@ Property / OpenAlex ID: W4289104059 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Algebraic Reasoning
@@ Property / cites work: Quantitative Algebraic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624681
@@ Property / cites work: Q5624681 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624680
@@ Property / cites work: Q5624680 / rank @@
+Normal rank
@@ Property / cites work @@
+Matching and Generalization Modulo Proximity and Tolerance Relations
+Normal rank