Deciding Synchronous Kleene Algebra with Derivatives (Q2947408): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1157970606
@@ Property / OpenAlex ID: W1157970606 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2819377
@@ Property / cites work: Q2819377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4986510
@@ Property / cites work: Q4986510 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial derivatives of regular expressions and finite automaton constructions
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Checking NFA equivalence with bisimulations up to congruence
+Normal rank
@@ Property / cites work @@
+Deciding Kleene Algebras in Coq
@@ Property / cites work: Deciding Kleene Algebras in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE AVERAGE SIZE OF GLUSHKOV AND PARTIAL DERIVATIVE AUTOMATA
+Normal rank
@@ Property / cites work @@
+On the Average Size of Glushkov and Equation Automata for KAT Expressions
+Normal rank
@@ Property / cites work @@
+On the Equivalence of Automata for KAT-expressions
+Normal rank
@@ Property / cites work @@
+Partial Derivative Automaton for Regular Expressions with Shuffle
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for Regular Expression Equivalence in Type Theory
+Normal rank
@@ Property / cites work @@
+THE ABSTRACT THEORY OF AUTOMATA
@@ Property / cites work: THE ABSTRACT THEORY OF AUTOMATA / rank @@
+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 @@
+Q5693581
@@ Property / cites work: Q5693581 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Coalgebraic Theory of Kleene Algebra with Tests
+Normal rank
@@ Property / cites work @@
+Proof Pearl: regular expression equivalence and relation algebra
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Regular Expressions (In-)Equivalence in Coq
+Normal rank
@@ Property / cites work @@
+Unified Decision Procedures for Regular Expression Equivalence
+Normal rank
@@ Property / cites work @@
+Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests
+Normal rank
@@ Property / cites work @@
+Synchronous Kleene algebra
@@ Property / cites work: Synchronous Kleene algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Coinductive Proof Techniques for Language Equivalence
+Normal rank
@@ Property / cites work @@
+Position Automata for Kleene Algebra with Tests
@@ Property / cites work: Position Automata for Kleene Algebra with Tests / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Techniques: Regular expression search algorithm
+Normal rank
@@ Property / cites work @@
+Applications of Symbolic Finite Automata
@@ Property / cites work: Applications of Symbolic Finite Automata / rank @@
+Normal rank