Efficiency of automata in semi-commutation verification techniques (Q3515458): Difference between revisions

@@ Property / author @@
+Pierre-Cyrille Héam
@@ Property / author: Pierre-Cyrille Héam / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OCaml
@@ Property / describes a project that uses: OCaml / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2003000560
@@ Property / OpenAlex ID: W2003000560 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Permutation rewriting and algorithmic verification
+Normal rank
@@ Property / cites work @@
+Q4098669
@@ Property / cites work: Q4098669 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of locally testable events
@@ Property / cites work: Characterizations of locally testable events / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling literal morphisms by shuffle
@@ Property / cites work: Modeling literal morphisms by shuffle / rank @@
+Normal rank
@@ Property / cites work @@
+A partial approach to model checking
@@ Property / cites work: A partial approach to model checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4452051
@@ Property / cites work: Q4452051 / rank @@
+Normal rank
@@ Property / cites work @@
+Shuffle on positive varieties of languages
@@ Property / cites work: Shuffle on positive varieties of languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4654642
@@ Property / cites work: Q4654642 / rank @@
+Normal rank
@@ Property / cites work @@
+Some complexity results for polynomial rational expressions.
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251913
@@ Property / cites work: Q4251913 / rank @@
+Normal rank
@@ Property / cites work @@
+Variétés de langages et opérations
@@ Property / cites work: Variétés de langages et opérations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3769981
@@ Property / cites work: Q3769981 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial closure and unambiguous product
@@ Property / cites work: Polynomial closure and unambiguous product / rank @@
+Normal rank
@@ Property / cites work @@
+Finite semigroup varieties of the form V*D
@@ Property / cites work: Finite semigroup varieties of the form V*D / rank @@
+Normal rank
@@ Property / cites work @@
+Q4407441
@@ Property / cites work: Q4407441 / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying regular events in symbolic logic
@@ Property / cites work: Classifying regular events in symbolic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Classification of finite monoids: the language approach
+Normal rank
@@ Property / cites work @@
+Regular Model Checking using Widening Techniques
@@ Property / cites work: Regular Model Checking using Widening Techniques / rank @@
+Normal rank