Concepedia

Language Containment

Language Containment is a formal relation between two languages in which one language is entirely included within another, such that every string in the former is also a member of the latter, typically used to describe hierarchical or subset relationships in formal systems, automata, or logical specifications.

22

Publications

1.1K

Citations

42

Authors

25

Institutions

Publications per year

2017–2026

1

Parents

Publications

22

Symbolic model checking: 10/sup 20/ states and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · 2002 · 304 citations

, , +16

On the equivalence, containment, and covering problems for the regular and context-free languages

Harry B. Hunt, Daniel J. Rosenkrantz, Thomas G. Szymanski · Journal of Computer and System Sciences · 1976 · 134 citations

, , +11

Probabilistic ω-automata

Christel Baier, Nathalie Bertrand · Journal of the ACM · 2012 · 100 citations

, , +15

Analysis of digital circuits through symbolic reduction

Robert P. Kurshan, Kenneth L. McMillan · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1991 · 91 citations

, , +17

Robustness of supervisors for discrete-event systems

José E.R. Cury, Bruce H. Krogh · IEEE Transactions on Automatic Control · 1999 · 59 citations

, , +17

1–5 of 22

Authors

42

  1. RK
    Robert K. Brayton

    University of California, Berkeley, United States

    5 publications · 150 citations

    5

    h-index

  2. NY
    Nina Yevtushenko

    National Research Tomsk State University, Russia

    3 publications · 74 citations

    3

    h-index

  3. TV
    Tiziano Villa

    University of California, Berkeley, United States

    3 publications · 74 citations

    3

    h-index

  4. AP
    Alexandre Petrenko

    Computer Research Institute of Montréal, Canada

    3 publications · 74 citations

    3

    h-index

  5. DJ
    Daniel J. Rosenkrantz

    University at Albany, State University of New York, United States

    2 publications · 151 citations

    2

    h-index

1–5 of 42

Institutions

25

  1. Carnegie Mellon University

    Pittsburgh, United States

    5 h-index

    7 publications

    1.1K citations

  2. University of California, Berkeley

    Berkeley, United States

    4 h-index

    9 publications

    260 citations

  3. Computer Research Institute of Montréal

    Montreal, Canada

    3 h-index

    3 publications

    74 citations

  4. AT&T (United States)

    Bedminster, United States

    3 h-index

    4 publications

    187 citations

  5. National Research Tomsk State University

    Tomsk, Russia

    3 h-index

    3 publications

    74 citations

  6. Harvard University

    Cambridge, United States

    2 h-index

    2 publications

    151 citations

  7. General Electric (United States)

    Boston, United States

    2 h-index

    2 publications

    151 citations

  8. Mathematical Sciences Research Institute

    Berkeley, United States

    1 h-index

    1 publications

    10 citations

1–8 of 25

Venues

  1. Journal of the ACM

    JACM · 2 publications · 117 citations

    2

    h-index

  2. Journal of Logic and Computation

    1 publications · 10 citations

    1

    h-index

  3. Information and Computation

    1 publications · 43 citations

    1

    h-index

  4. Proceedings of the IEEE

    1 publications · 11 citations

    1

    h-index

  5. International Journal of Foundations of Computer Science

    IJFCS · 1 publications · 25 citations

    1

    h-index

1–5