Using types as search keys in function libraries (Q4939694): Difference between revisions

@@ Property / cites work @@
+Unification in a combination of arbitrary disjoint equational theories
+Normal rank
@@ Property / cites work @@
+Fast Probabilistic Algorithms for Verification of Polynomial Identities
+Normal rank
@@ Property / cites work @@
+Some Application of Nevanlinna Theory to Mathematical Logic: Identities Exponential Functions
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Determining the Equivalence of Algebraic Expressions by Hash Coding
+Normal rank
@@ Property / cites work @@
+Topoi. The categorial analysis of logic
@@ Property / cites work: Topoi. The categorial analysis of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
+Normal rank
@@ Property / cites work @@
+The category of finite sets and Cartesian closed categories
+Normal rank
@@ Property / cites work @@
+Unification theory
@@ Property / cites work: Unification theory / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s095679680000006x
+Normal rank
@@ Property / OpenAlex ID @@
+W2017944894
@@ Property / OpenAlex ID: W2017944894 / rank @@
+Normal rank