KAT-ML: an interactive theorem prover for Kleene algebra with tests (Q3647254): 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.3166/jancl.16.9-33
+Normal rank
@@ Property / OpenAlex ID @@
+W2058926819
@@ Property / OpenAlex ID: W2058926819 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+On Hoare logic and Kleene algebra with tests
@@ Property / cites work: On Hoare logic and Kleene algebra with tests / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of reasoning in Kleene algebra
@@ Property / cites work: On the complexity of reasoning in Kleene algebra / 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 @@
+Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management*
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank