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

@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VAMPIRE
@@ Property / describes a project that uses: VAMPIRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Jessie
@@ Property / describes a project that uses: Jessie / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMT-LIB
@@ Property / describes a project that uses: SMT-LIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+cvc3
@@ Property / describes a project that uses: cvc3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Why3
@@ Property / describes a project that uses: Why3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Yices
@@ Property / describes a project that uses: Yices / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Frama-C
@@ Property / describes a project that uses: Frama-C / 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-642-24364-6_7
+Normal rank
@@ Property / OpenAlex ID @@
+W1566741425
@@ Property / OpenAlex ID: W1566741425 / rank @@
+Normal rank
@@ 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