Concepedia

Language Inclusion

Language Inclusion is the formal relation in which every string generated by one context-free grammar is also generated by another, thereby establishing a subset relationship between the languages they define.

41

Publications

1.9K

Citations

76

Authors

55

Institutions

Publications per year

2017–2026

5

Parents

Publications

41

Adding nesting structure to words

Rajeev Alur, P. Madhusudan · Journal of the ACM · 2009 · 329 citations

, , +16

Quantitative languages

Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger · ACM Transactions on Computational Logic · 2010 · 165 citations · Full text

, , +17

Nonblocking Hierarchical Control of Decentralized Discrete Event Systems

Thomas Moor, Sebastian Perk · IEEE Transactions on Automatic Control · 2008 · 101 citations · Full text

, , +17

Temporal logic inference for classification and prediction from data

Zhaodan Kong, Austin Jones, Ana Medina Ayala et al. · 2014 · 94 citations

, , +11

On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap

Research Showcase @ Carnegie Mellon University (Carnegie Mellon University) · 2003 · 92 citations

, , +17

1–5 of 41

Authors

76

  1. SP
    Sebastian Perk

    Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany

    3 publications · 129 citations

    3

    h-index

  2. EM
    Ellen M. Markman

    Stanford University, United States

    2 publications · 123 citations

    2

    h-index

  3. MA
    Maureen A. Callanan

    University of California, Santa Cruz, United States

    2 publications · 123 citations

    2

    h-index

  4. LD
    Laurent Doyen

    École Normale Supérieure Paris-Saclay, France

    2 publications · 203 citations

    2

    h-index

  5. EG
    Ece Güran Schmidt

    Middle East Technical University, Türkiye

    2 publications · 24 citations

    2

    h-index

1–5 of 76

Institutions

55

  1. Friedrich-Alexander-Universität Erlangen-Nürnberg

    Erlangen, Germany

    3 h-index

    6 publications

    258 citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    4 publications

    182 citations

  3. Cornell University

    Ithaca, United States

    3 h-index

    3 publications

    183 citations

  4. Tulane University

    New Orleans, United States

    2 h-index

    2 publications

    126 citations

  5. University of Pennsylvania

    Philadelphia, United States

    2 h-index

    4 publications

    419 citations

  6. Université Libre de Bruxelles

    Brussels, Belgium

    2 h-index

    3 publications

    66 citations

  7. AT&T (United States)

    Bedminster, United States

    2 h-index

    2 publications

    111 citations

  8. Université Paris Cité

    Paris, France

    2 h-index

    2 publications

    52 citations

1–8 of 55

Venues

  1. Child Development

    2 publications · 123 citations

    2

    h-index

  2. Information Processing Letters

    2 publications · 44 citations

    2

    h-index

  3. Logical Methods in Computer Science

    LMCS · 2 publications · 52 citations

    2

    h-index

  4. Journal of Computer and System Sciences

    2 publications · 56 citations

    2

    h-index

  5. Theoretical Computer Science

    2 publications · 84 citations

    2

    h-index

1–5