Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL (Q5049005): Difference between revisions

@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Locales: a module system for mathematical theories
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending Sledgehammer with SMT Solvers
@@ Property / cites work: Extending Sledgehammer with SMT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Lattices and ordered algebraic structures
@@ Property / cites work: Lattices and ordered algebraic structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945205
@@ Property / cites work: Q4945205 / rank @@
+Normal rank
@@ Property / cites work @@
+Stone Lattices. I: Construction Theorems
@@ Property / cites work: Stone Lattices. I: Construction Theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Q5639727
@@ Property / cites work: Q5639727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3268348
@@ Property / cites work: Q3268348 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic framework for minimum spanning tree problems
+Normal rank
@@ Property / cites work @@
+Verifying minimum spanning tree algorithms with Stone relation algebras
+Normal rank
@@ Property / cites work @@
+Constructive Type Classes in Isabelle
@@ Property / cites work: Constructive Type Classes in Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+On sentences which are true of direct unions of algebras
+Normal rank
@@ Property / cites work @@
+Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Q3685171
@@ Property / cites work: Q3685171 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944854
@@ Property / cites work: Q4944854 / rank @@
+Normal rank
@@ Property / cites work @@
+Die Kennzeichnung der distributiven pseudokomplementären Halbverbände.
+Normal rank
@@ Property / cites work @@
+A New Proof of the Construction Theorem for Stone Algebras
+Normal rank
@@ Property / cites work @@
+Constructions of p-algebras
@@ Property / cites work: Constructions of p-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+From types to sets by local type definition in higher-order logic
+Normal rank
@@ Property / cites work @@
+Implicative Semi-Lattices
@@ Property / cites work: Implicative Semi-Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Rough sets. Mathematical foundations
@@ Property / cites work: Rough sets. Mathematical foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Type classes for mathematics in type theory
@@ Property / cites work: Type classes for mathematics in type theory / rank @@
+Normal rank