Pages that link to "Item:Q4850551"
From MaRDI portal
The following pages link to Effective properties of finitely generated r.e. algebras (Q4850551):
Displaying 19 items.
- Tree-automatic scattered linear orders (Q264574) (← links)
- The given (Q791521) (← links)
- On block pumpable languages (Q897892) (← links)
- Stability among r.e. quotient algebras (Q1208085) (← links)
- Randnomness, computability, and algebraic specifications (Q1382180) (← links)
- Learning pattern languages over groups (Q1663643) (← links)
- The complexity of verbal languages over groups (Q1713480) (← links)
- On recursively enumerable structures (Q1919770) (← links)
- Automatic learning from positive data and negative counterexamples (Q2013555) (← links)
- Automatic learners with feedback queries (Q2637649) (← links)
- A computation model with automatic functions and relations as primitive operations (Q2672645) (← links)
- String compression in FA-presentable structures (Q2682935) (← links)
- Effective identification in the limit of first order structures and creative sets (Q2735821) (← links)
- Monitoring metric first-order temporal properties (Q2796403) (← links)
- A Hierarchy of Automatic<i>ω</i>-Words having a Decidable MSO Theory (Q3526410) (← links)
- Traces of term-automatic graphs (Q3526420) (← links)
- (Q5090942) (← links)
- A structure of punctual dimension two (Q5111521) (← links)
- Learners based on transducers (Q5918614) (← links)