Coalgebraising Subsequential Transducers (Q2873665): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2008.05.022
+Normal rank
@@ Property / OpenAlex ID @@
+W2120837912
@@ Property / OpenAlex ID: W2120837912 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Determinization of transducers over finite and infinite words.
+Normal rank
@@ Property / cites work @@
+A Kleene Theorem for Polynomial Coalgebras
@@ Property / cites work: A Kleene Theorem for Polynomial Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of Choffrut's theorem on subsequential functions
+Normal rank
@@ Property / cites work @@
+Q3853135
@@ Property / cites work: Q3853135 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimizing subsequential transducers: a survey.
@@ Property / cites work: Minimizing subsequential transducers: a survey. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863892
@@ Property / cites work: Q2863892 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic modal logic: soundness, completeness and decidability of local consequence
+Normal rank
@@ Property / cites work @@
+Sequential Functions
@@ Property / cites work: Sequential Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3979259
@@ Property / cites work: Q3979259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251915
@@ Property / cites work: Q4251915 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Sur une variante des fonctions séquentielles
@@ Property / cites work: Sur une variante des fonctions séquentielles / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849887
@@ Property / cites work: Q2849887 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata and fixed point logic: a coalgebraic perspective
+Normal rank