Completeness and incompleteness in nominal Kleene algebra (Q2401017): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2624806594
@@ Property / OpenAlex ID: W2624806594 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata theory in nominal sets
@@ Property / cites work: Automata theory in nominal sets / rank @@
+Normal rank
@@ Property / cites work @@
+Freshness and Name-Restriction in Sets of Traces with Names
+Normal rank
@@ Property / cites work @@
+Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages
+Normal rank
@@ Property / cites work @@
+Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax
+Normal rank
@@ Property / cites work @@
+Nominal Sets
@@ Property / cites work: Nominal Sets / rank @@
+Normal rank
@@ Property / cites work @@
+LOIS: syntax and semantics
@@ Property / cites work: LOIS: syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5013828
@@ Property / cites work: Q5013828 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning nominal automata
@@ Property / cites work: Learning nominal automata / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Kleene Coalgebra
@@ Property / cites work: Nominal Kleene Coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Checking NFA equivalence with bisimulations up to congruence
+Normal rank
@@ Property / cites work @@
+A Coalgebraic Decision Procedure for NetKAT
@@ Property / cites work: A Coalgebraic Decision Procedure for NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests
+Normal rank
@@ Property / cites work @@
+Nominal Sets over Algebraic Atoms
@@ Property / cites work: Nominal Sets over Algebraic Atoms / rank @@
+Normal rank