scientific article; zbMATH DE number 3358465
From MaRDI portal
zbMath0226.02041MaRDI QIDQ5632564
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40)
Related Items
Hierarchies of weak automata and weak monadic formulas, Determinacy of sinking automata on infinite trees and inequalities between various Rabin's pair indices
