Pages that link to "Item:Q5632482"

The following pages link to Derivatives of Regular Expressions (Q5632482):

Displaying 50 items.

• Operads, quasiorders, and regular languages (Q256333) (← links)
• Varieties and covarieties of languages (extended abstract) (Q265785) (← links)
• Rational operational models (Q265819) (← links)
• The full quotient and its closure property for regular languages (Q293180) (← links)
• On the computation of quotients and factors of regular languages (Q351995) (← links)
• Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking (Q391129) (← links)
• Symbolic execution of Reo circuits using constraint automata (Q433344) (← links)
• Hidden protocols: modifying our expectations in an evolving world (Q490513) (← links)
• Extended to multi-tilde-bar regular expressions and efficient finite automata constructions (Q491616) (← links)
• The dual equivalence of equations and coequations for automata (Q498397) (← links)
• A general account of coinduction up-to (Q523132) (← links)
• Quantitative Kleene coalgebras (Q532394) (← links)
• CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
• From regular expressions to deterministic automata (Q580983) (← links)
• Partial derivatives of regular expressions and finite automaton constructions (Q672142) (← links)
• Compilation of the ELECTRE reactive language into finite transition systems (Q673127) (← links)
• Rewriting extended regular expressions (Q673635) (← links)
• A coalgebraic approach to Kleene algebra with tests (Q703519) (← links)
• Multi-tilde-bar expressions and their automata (Q715057) (← links)
• Finite-state \(\omega\)-languages (Q794443) (← links)
• Simplifying regular expressions further (Q820947) (← links)
• An SMT solver for regular expressions and linear arithmetic over string length (Q832270) (← links)
• Proving language inclusion and equivalence by coinduction (Q899321) (← links)
• Extension of Brzozowski's derivation calculus of rational expressions to series over the free partially commutative monoids (Q930924) (← links)
• Adapting functional programs to higher order logic (Q1029815) (← links)
• An axiom system for sequence-based specification (Q1044834) (← links)
• Generalized language equations with multiple solutions (Q1084871) (← links)
• Deadlock and fairness in parallel schemas: A set-theoretic characterization and decision problems (Q1145493) (← links)
• On generalized language equations (Q1149791) (← links)
• Complete systems of \(\mathcal B\)-rational identities (Q1177930) (← links)
• Properties of code events and homomorphisms over regular events (Q1237764) (← links)
• Computers in semigroups (Q1244386) (← links)
• A specification of parallel problems (Q1257334) (← links)
• Regular expressions into finite automata (Q1314367) (← links)
• A matrix-linguistic method of analyzing finite discrete dynamic systems (Q1359297) (← links)
• The validation of SGML content models (Q1370524) (← links)
• From regular expressions to DFA's using compressed NFA's (Q1391526) (← links)
• Well-abstracted transition systems: Application to FIFO automata. (Q1401924) (← links)
• Follow automata. (Q1426009) (← links)
• Learning regular languages using RFSAs. (Q1426151) (← links)
• Derivatives of rational expressions and related theorems. (Q1426157) (← links)
• Reducing NFAs by invariant equivalences. (Q1426461) (← links)
• Alternating finite automata and star-free languages (Q1575674) (← links)
• Regular language representations in the constructive type theory of Coq (Q1663246) (← links)
• Quotient complexity of closed languages (Q1678754) (← links)
• On series-parallel pomset languages: rationality, context-freeness and automata (Q1734519) (← links)
• Compiling and verifying SC-SystemJ programs for safety-critical reactive systems (Q1749143) (← links)
• The inclusion problem for regular expressions (Q1757837) (← links)
• Construction of fuzzy automata from fuzzy regular expressions (Q1759725) (← links)
• Derivatives of rational expressions with multiplicity (Q1770384) (← links)