Concepedia

Recursively Enumerable Languages

Recursively Enumerable Languages is a class of formal languages that comprises all languages for which there exists a Turing machine that halts and accepts every string in the language, while either rejecting or looping indefinitely on strings not in the language.

137

Publications

4.8K

Citations

173

Authors

99

Institutions

Publications per year

2017–2026

5

Variants

Semi-decidable LanguagesTuring-recognizable Languages

Parents

Publications

137

An introduction to formal language theory

Choice Reviews Online · 1989 · 471 citations

, , +12

Lower Bounds for Pairs of Recursively Enumerable Degrees

A. H. Lachlan · Proceedings of the London Mathematical Society · 1966 · 220 citations

, , +14

The Recursively Enumerable Degrees are Dense

Gerald E. Sacks · Annals of Mathematics · 1964 · 206 citations

, , +8

Languages with Expressions of Infinite Length.

Erwin Engeler, Carol R. Karp · American Mathematical Monthly · 1966 · 174 citations

, , +11

On String Languages Generated by Spiking Neural P Systems

Haiming Chen, Rudolf Freund, Mihai Ionescu et al. · idUS (Universidad de Sevilla) · 2007 · 160 citations

, , +11

1–5 of 137

Authors

173

  1. GP
    Gheorghe Pǎun

    Romanian Academy, Romania

    11 publications · 511 citations

    11

    h-index

  2. AM
    Alexander Meduna

    Brno University of Technology, Czechia

    7 publications · 107 citations

    7

    h-index

  3. EC
    Erzsébet Csuhaj-Varjú

    Hungarian Academy of Sciences, Hungary

    6 publications · 199 citations

    6

    h-index

  4. CM
    Carlos Martı́n-Vide

    Universitat Rovira i Virgili, Spain

    5 publications · 167 citations

    5

    h-index

  5. RF
    Rudolf Freund

    TU Wien, Austria

    5 publications · 232 citations

    5

    h-index

1–5 of 173

Institutions

99

  1. Universitat Rovira i Virgili

    Tarragona, Spain

    11 h-index

    14 publications

    469 citations

  2. Romanian Academy

    Bucharest, Romania

    8 h-index

    8 publications

    296 citations

  3. Brno University of Technology

    Brno, Czechia

    6 h-index

    9 publications

    115 citations

  4. TU Wien

    Vienna, Austria

    6 h-index

    8 publications

    290 citations

  5. Universidad de Sevilla

    Seville, Spain

    6 h-index

    9 publications

    435 citations

  6. Hungarian Academy of Sciences

    Budapest, Hungary

    5 h-index

    8 publications

    168 citations

  7. Academy of Sciences of Moldova

    Chisinau, Moldova

    4 h-index

    5 publications

    79 citations

  8. University of Leeds

    Leeds, United Kingdom

    3 h-index

    3 publications

    44 citations

1–8 of 99

Venues

  1. Theoretical Computer Science

    18 publications · 458 citations

    13

    h-index

  2. International Journal of Foundations of Computer Science

    IJFCS · 9 publications · 258 citations

    9

    h-index

  3. International Journal of Computer Mathematics

    9 publications · 178 citations

    9

    h-index

  4. Algebra and Logic

    5 publications · 93 citations

    5

    h-index

  5. Annals of Pure and Applied Logic

    4 publications · 63 citations

    4

    h-index

1–5