Mutual Transformability of the Formulas of the Languages Of MarkovL2ω AND Rω

DOI10.1002/MALQ.19870330206zbMath0647.03053OpenAlexW2051466209MaRDI QIDQ3791153

A. H. Sahyoun, Ford Waghrees Gorgy

Publication date: 1987

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19870330206

zbMATH Keywords

constructive logicmutual transformability of Markov's hierarchies of languagesMarkov languages

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

This page was built for publication: Mutual Transformability of the Formulas of the Languages Of MarkovL2ω AND Rω