Q5005176 (Q5005176): Difference between revisions

@@ Property / cites work @@
+Learning Register Automata with Fresh Value Generation
+Normal rank
@@ Property / cites work @@
+On the length of subgroup chains in the symmetric group
+Normal rank
@@ Property / cites work @@
+Automata theory in nominal sets
@@ Property / cites work: Automata theory in nominal sets / rank @@
+Normal rank
@@ Property / cites work @@
+A Robust Class of Data Languages and an Application to Learning
+Normal rank
@@ Property / cites work @@
+Active learning for extended finite state machines
+Normal rank
@@ Property / cites work @@
+Runtime Verification Based on Register Automata
@@ Property / cites work: Runtime Verification Based on Register Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-memory automata
@@ Property / cites work: Finite-memory automata / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient representation of perm groups
@@ Property / cites work: Efficient representation of perm groups / rank @@
+Normal rank
@@ Property / cites work @@
+Learning Meets Verification
@@ Property / cites work: Learning Meets Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Learning nominal automata
@@ Property / cites work: Learning nominal automata / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilarity in Fresh-Register Automata
@@ Property / cites work: Bisimilarity in Fresh-Register Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Nominal Game Semantics
@@ Property / cites work: Algorithmic Nominal Game Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Finite state machines for strings over infinite alphabets
+Normal rank
@@ Property / cites work @@
+Intractability of decision problems for finite-memory automata
+Normal rank
@@ Property / cites work @@
+Automata for XML -- a survey
@@ Property / cites work: Automata for XML -- a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for nominal general references
@@ Property / cites work: Full abstraction for nominal general references / rank @@
+Normal rank
@@ Property / cites work @@
+Fresh-register automata
@@ Property / cites work: Fresh-register automata / rank @@
+Normal rank