Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlap.2014.02.001
@@ Property / DOI: 10.1016/j.jlap.2014.02.001 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Regular Sets
@@ Property / describes a project that uses: Regular Sets / 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.1016/j.jlap.2014.02.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2108356686
@@ Property / OpenAlex ID: W2108356686 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Algebra in Scientific Computing
@@ Property / cites work: Computer Algebra in Scientific Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Relational and Kleene-Algebraic Methods in Computer Science
+Normal rank
@@ Property / cites work @@
+Q4287490
@@ Property / cites work: Q4287490 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Q3060335
@@ Property / cites work: Q3060335 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras
@@ Property / cites work: Relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Dioïds and semirings: Links to fuzzy sets and other applications
+Normal rank
@@ Property / cites work @@
+Constructive Type Classes in Isabelle
@@ Property / cites work: Constructive Type Classes in Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Proof and Disproof in Isabelle/HOL
@@ Property / cites work: Automatic Proof and Disproof in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Q3358736
@@ Property / cites work: Q3358736 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Pearl: regular expression equivalence and relation algebra
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+An Efficient Coq Tactic for Deciding Kleene Algebras
+Normal rank
@@ Property / cites work @@
+Algebraic notions of nontermination: Omega and divergence in idempotent semirings
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal power series
@@ Property / cites work: Formal power series / rank @@
+Normal rank
@@ Property / cites work @@
+On Automating the Calculus of Relations
@@ Property / cites work: On Automating the Calculus of Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Internal axioms for domain semirings
@@ Property / cites work: Internal axioms for domain semirings / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAP.2014.02.001
@@ Property / DOI: 10.1016/J.JLAP.2014.02.001 / rank @@
+Normal rank