Subsequential transducers: a coalgebraic perspective (Q618167): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2009.10.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2144143049
@@ Property / OpenAlex ID: W2144143049 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996444
@@ Property / cites work: Q3996444 / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of probabilistic system types
@@ Property / cites work: A hierarchy of probabilistic system types / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the prefix of an automaton
@@ Property / cites work: Computing the prefix of an automaton / rank @@
+Normal rank
@@ Property / cites work @@
+Determinization of transducers over finite and infinite words.
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+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 @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent linear numeration systems
@@ Property / cites work: Confluent linear numeration systems / rank @@
+Normal rank
@@ Property / cites work @@
+Describing an algorithm by Hopcroft
@@ Property / cites work: Describing an algorithm by Hopcroft / rank @@
+Normal rank
@@ Property / cites work @@
+Functors for coalgebras
@@ Property / cites work: Functors for coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+On minimal coalgebras
@@ Property / cites work: On minimal coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Types and coalgebraic structure
@@ Property / cites work: Types and coalgebraic structure / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraising Subsequential Transducers
@@ Property / cites work: Coalgebraising Subsequential Transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4045961
@@ Property / cites work: Q4045961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585020
@@ Property / cites work: Q5585020 / rank @@
+Normal rank
@@ Property / cites work @@
+Re-describing an algorithm by Hopcroft
@@ Property / cites work: Re-describing an algorithm by Hopcroft / rank @@
+Normal rank
@@ Property / cites work @@
+Q4344149
@@ Property / cites work: Q4344149 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Automata Theory: Basic Results
@@ Property / cites work: Coalgebraic Automata Theory: Basic Results / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic modal logic: soundness, completeness and decidability of local consequence
+Normal rank
@@ Property / cites work @@
+Q3979259
@@ Property / cites work: Q3979259 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimization of Rational Word Functions
@@ Property / cites work: Minimization of Rational Word Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Weak Bisimulation For Coalgebras
@@ Property / cites work: Towards Weak Bisimulation For Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251915
@@ Property / cites work: Q4251915 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on Coinduction and Weak Bisimilarity for While Programs
+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 @@
+Behavioural differential equations: a coinductive calculus of streams, automata, and power series
+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
@@ links / mardi / name / links / mardi / name @@
+Publication:618167