Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
Previous Page 2
Displaying 21 – 28 of 28
Existential interpretation. II.
Yuri Gurevich (1982)
Archiv für mathematische Logik und Grundlagenforschung
Extended primitive recursive functions
P. Mentrasti, M. Protasi (1982)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Extending regular expressions with homomorphic replacement
Henning Bordihn, Jürgen Dassow, Markus Holzer (2010)
RAIRO - Theoretical Informatics and Applications
We define H- and EH-expressions as extensions of regular expressions by adding homomorphic and iterated homomorphic replacement as new operations, resp. The definition is analogous to the extension given by Gruska in order to characterize context-free languages. We compare the families of languages obtained by these extensions with the families of regular, linear context-free, context-free, and EDT0L languages. Moreover, relations to language families based on patterns, multi-patterns,...
Extension pathology in regressive isols
Matthew J. Hassett (1973)
Compositio Mathematica
Extensions of -subsets to -subsets - existence versus constructability
Svatopluk Poljak, Daniel Turzík, Pavel Pudlák (1982)
Commentationes Mathematicae Universitatis Carolinae
Extensions to Regressive Isols.
J. Barback (1969)
Mathematica Scandinavica
e-степени гипериммунных ретрассируемых множеств.
Б.Я. Солон (1978)
Sibirskij matematiceskij zurnal
Currently displaying 21 – 28 of 28
Previous Page 2