Left-handed completeness (Q2286746): Difference between revisions

@@ 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.tcs.2019.10.040
+Normal rank
@@ Property / OpenAlex ID @@
+W2987383025
@@ Property / OpenAlex ID: W2987383025 / rank @@
+Normal rank
@@ Property / cites work @@
+Une condition impliquant toutes les identités rationnelles
+Normal rank
@@ Property / cites work @@
+Q5725992
@@ Property / cites work: Q5725992 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Left-Handed Completeness for Kleene algebra, via Cyclic Proofs
+Normal rank
@@ Property / cites work @@
+Group axioms for iteration
@@ Property / cites work: Group axioms for iteration / rank @@
+Normal rank
@@ Property / cites work @@
+On the fine-structure of regular algebra
@@ Property / cites work: On the fine-structure of regular algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Left-Handed Completeness
@@ Property / cites work: Left-Handed Completeness / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural logic and partial correctness
@@ Property / cites work: Substructural logic and partial correctness / rank @@
+Normal rank
@@ Property / cites work @@
+Complete systems of \(\mathcal B\)-rational identities
+Normal rank
@@ Property / cites work @@
+Q4251915
@@ Property / cites work: Q4251915 / rank @@
+Normal rank
@@ Property / cites work @@
+A coinductive calculus of streams
@@ Property / cites work: A coinductive calculus of streams / rank @@
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank
@@ Property / cites work @@
+Nominal Kleene Coalgebra
@@ Property / cites work: Nominal Kleene Coalgebra / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2286746