Expressing Polymorphic Types in a Many-Sorted Language (Q3172884): Difference between revisions

@@ Property / cites work @@
+Expressing Polymorphic Types in a Many-Sorted Language
+Normal rank
@@ Property / cites work @@
+Handling Polymorphism in Automated Deduction
@@ Property / cites work: Handling Polymorphism in Automated Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809048
@@ Property / cites work: Q4809048 / rank @@
+Normal rank
@@ Property / cites work @@
+A Polymorphic Intermediate Verification Language: Design and Logical Encoding
+Normal rank
@@ Property / cites work @@
+Q4858033
@@ Property / cites work: Q4858033 / rank @@
+Normal rank
@@ Property / cites work @@
+Translating higher-order clauses to first-order clauses
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank