scientific article; zbMATH DE number 806750
From MaRDI portal
Publication:4850551
zbMath0837.03037MaRDI QIDQ4850551
Bakhadyr Khoussainov, Anil Nerode
Publication date: 17 October 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
equivalence relationseffective propertiesalgebraic propertiesrecursive mathematicsrecursively enumerable algebras
Related Items (15)
Tree-automatic scattered linear orders ⋮ Automatic learners with feedback queries ⋮ Learning pattern languages over groups ⋮ Randnomness, computability, and algebraic specifications ⋮ A computation model with automatic functions and relations as primitive operations ⋮ String compression in FA-presentable structures ⋮ On block pumpable languages ⋮ A structure of punctual dimension two ⋮ A Hierarchy of Automaticω-Words having a Decidable MSO Theory ⋮ Traces of term-automatic graphs ⋮ The complexity of verbal languages over groups ⋮ Automatic learning from positive data and negative counterexamples ⋮ Unnamed Item ⋮ Learners based on transducers ⋮ Monitoring Metric First-Order Temporal Properties
This page was built for publication:
