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