Pages that link to "Item:Q5936849"
From MaRDI portal
The following pages link to Automata theory and its applications (Q5936849):
Displaying 50 items.
- A new algorithm for testing diagnosability of fuzzy discrete event systems (Q425552) (← links)
- Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists (Q746778) (← links)
- Weighted automata and weighted logics with discounting (Q840767) (← links)
- Chain automata (Q1351952) (← links)
- Regular language representations in the constructive type theory of Coq (Q1663246) (← links)
- Ostrowski numeration systems, addition, and finite automata (Q1750300) (← links)
- How to avoid a compact set (Q2014009) (← links)
- Sampling polynomial trajectories for LTL verification (Q2055964) (← links)
- Weighted automata (Q2074206) (← links)
- Automata on infinite trees (Q2074210) (← links)
- Intuitionistic fuzzy \(( \otimes,N)\)-general regular languages and their minimization implementation (Q2077025) (← links)
- Infinite games on finite graphs using grossone (Q2156891) (← links)
- Effective categoricity of automatic equivalence and nested equivalence structures (Q2195573) (← links)
- Model checking of linear-time properties in multi-valued systems (Q2282319) (← links)
- A language hierarchy and kitchens-type theorem for self-similar groups (Q2324642) (← links)
- Weighted automata and weighted logics (Q2373736) (← links)
- Randomness of formal languages via automatic martingales (Q2420647) (← links)
- Deciding the isomorphism problem in classes of unary automatic structures (Q2430013) (← links)
- Uncountable automatic classes and learning (Q2431428) (← links)
- Recognizing malicious software behaviors with tree automata inference (Q2441717) (← links)
- Rational elements of summation semirings (Q2663048) (← links)
- Liveness in broadcast networks (Q2676223) (← links)
- Verification of component-based systems with recursive architectures (Q2699967) (← links)
- Reasoning About Substructures and Games (Q2957764) (← links)
- EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS (Q2976377) (← links)
- Automatentheorie und Logik (Q3083622) (← links)
- (Q3086936) (← links)
- Weak Second‐Order Arithmetic and Finite Automata (Q3287248) (← links)
- (Q3395936) (← links)
- Weighted Automata and Weighted Logics with Discounting (Q3503896) (← links)
- Uncountable Automatic Classes and Learning (Q3648759) (← links)
- (Q3835538) (← links)
- (Q3998008) (← links)
- (Q4029346) (← links)
- (Q4260339) (← links)
- (Q4344149) (← links)
- (Q5028446) (← links)
- (Q5028448) (← links)
- Structural Invariants for the Verification of Systems with Parameterized Architectures (Q5039511) (← links)
- Weighted Automata and Weighted Logics (Q5072547) (← links)
- Deciding Parity Games in Quasi-polynomial Time (Q5073521) (← links)
- A congruence-based perspective on automata minimization algorithms (Q5092441) (← links)
- Rauzy Fractal of the Smallest Substitution Associated with the Smallest Pisot Number (Q5114451) (← links)
- Infinite Games on Finite Graphs Using Grossone (Q5122310) (← links)
- Yet Another Characterization of the Pisot Substitution Conjecture (Q5141337) (← links)
- (Q5155665) (← links)
- Pumping for ordinal-automatic structures1 (Q5283444) (← links)
- The complexity of recursion theoretic games (Q5694972) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Handbook of Automata Theory (Q5896836) (← links)
