Pages that link to "Item:Q2720405"
From MaRDI portal
The following pages link to RAIRO - Theoretical Informatics and Applications (Q2720405):
Displayed 50 items.
- A Lower Bound For Reversible Automata (Q2720406) (← links)
- Return words in Sturmian and episturmian words (Q2720407) (← links)
- A Space Lower Bound for Acceptance by One-Way Π<sub>2</sub>-Alternating Machines (Q2720409) (← links)
- On a paper by Castelli, Mignosi, Restivo (Q2720410) (← links)
- Local Transition Functions of Quantum Turing Machines (Q2720411) (← links)
- Complexité et automates cellulaires linéaires (Q2720412) (← links)
- Finite presentability of strongly finite dilators (Q2729624) (← links)
- Domain-Free<i>λµ</i>-Calculus (Q2729625) (← links)
- Two-variable word equations (Q2729626) (← links)
- Computing the prefix of an automaton (Q2729627) (← links)
- Cutwidth of the<i>r</i>-dimensional Mesh of<i>d</i>-ary Trees (Q2729628) (← links)
- Galois Lattice as a Framework to Specify Building Class Hierarchies Algorithms (Q2729629) (← links)
- A Compositional Approach to Synchronize Two Dimensional Networks of Processors (Q2729630) (← links)
- Characteristic Formulae for Timed Automata (Q2729632) (← links)
- Codes générateurs minimaux de langages de mots bi-infinis (Q2729633) (← links)
- Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems (Q2747940) (← links)
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study (Q2747941) (← links)
- A Coalgebraic Semantics of Subtyping (Q2747942) (← links)
- Coalgebras for Binary Methods: Properties of Bisimulations and Invariants (Q2747943) (← links)
- A Generalisation of Entity and Referential Integrity in Relational Databases (Q2771491) (← links)
- PAC Learning under Helpful Distributions (Q2771492) (← links)
- Restricted Nondeterministic Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication (Q2771493) (← links)
- On the Stack-Size of General Tries (Q2771494) (← links)
- On the number of iterations required by Von Neumann addition (Q2771496) (← links)
- Les types de données syntaxiques du système ${\cal F}$ (Q2773019) (← links)
- Les<i>I</i>-types du système ${\cal F}$ (Q2773020) (← links)
- Number-Conserving Reversible Cellular Automata and Their Computation-Universality (Q2773021) (← links)
- Division in logspace-uniform<i>NC</i><sup>1</sup> (Q2773023) (← links)
- Depth Lower Bounds for Monotone Semi-Unbounded Fan-in Circuits (Q2773024) (← links)
- On the Hardness of Approximating Some NP-optimization Problems Related to Minimum Linear Ordering Problem (Q2773025) (← links)
- On Core XPath with Inflationary Fixed Points (Q2842238) (← links)
- Strong functors and interleaving fixpoints in game semantics (Q2842239) (← links)
- On characteristic formulae for Event-Recording Automata (Q2842241) (← links)
- Some results on complexity of <i>μ</i>-calculus evaluation in the black-box model (Q2842242) (← links)
- A non-uniform finitary relational semantics of system <i>T</i> (Q2842243) (← links)
- Special issue in the honor of the 14th “Journées Montoises d’Informatique Théorique” (Q2874635) (← links)
- Connectedness of fractals associated with Arnoux–Rauzy substitutions (Q2874636) (← links)
- Root clustering of words (Q2874637) (← links)
- A general framework for the derivation of regular expressions (Q2874638) (← links)
- Existence of an infinite ternary 64-abelian square-free word (Q2874639) (← links)
- Abelian pattern avoidance in partial words (Q2874640) (← links)
- Integers in number systems with positive and negative quadratic Pisot base (Q2874641) (← links)
- Systems of parallel communicating restarting automata (Q2877370) (← links)
- Reaction automata working in sequential manner (Q2877371) (← links)
- Bidirectional string assembling systems (Q2877372) (← links)
- On the classes of languages accepted by limited context restarting automata (Q2877374) (← links)
- Transducing by observing length-reducing and painter rules (Q2877375) (← links)
- On the invertibility of finite linear transducers (Q2877377) (← links)
- Conditional Lindenmayer systems with subregular conditions: The non-extended case (Q2877378) (← links)
- Formal Methods to Improve Public Administration Business Processes (Q2889178) (← links)