Concepedia

Well-founded Relations

Well-Founded Relations is a mathematical relation on a set such that every non-empty subset has a minimal element with respect to the relation, thereby ensuring the absence of infinite descending chains and enabling inductive reasoning in termination analysis.

25

Publications

1.1K

Citations

37

Authors

27

Institutions

Publications per year

2017–2026

1

Variants

Well-founded Relation

Parents

Publications

25

1–5 of 25

Authors

37

  1. AP
    Andreas Podelski

    University of Freiburg, Germany

    3 publications · 464 citations

    3

    h-index

  2. AR
    Andrey Rybalchenko

    Max Planck Institute for Informatics, Germany

    3 publications · 464 citations

    3

    h-index

  3. RB
    Rajiv Bagai

    Wichita State University, United States

    2 publications · 50 citations

    2

    h-index

  4. RS
    Rajshekhar Sunderraman

    Georgia State University, United States

    2 publications · 50 citations

    2

    h-index

  5. AK
    Adam Koprowski

    Tsinghua University, China

    1 publications · 46 citations

    1

    h-index

1–5 of 37

Institutions

27

  1. University of Freiburg

    Freiburg im Breisgau, Germany

    2 h-index

    2 publications

    91 citations

  2. Max Planck Institute for Informatics

    Saarbrücken, Germany

    2 h-index

    4 publications

    818 citations

  3. Wichita State University

    Wichita, United States

    2 h-index

    4 publications

    100 citations

  4. Microsoft (United States)

    Redmond, United States

    2 h-index

    2 publications

    84 citations

  5. Universitat Politècnica de Catalunya

    Barcelona, Spain

    1 h-index

    1 publications

    52 citations

  6. Laboratoire de Statistique Théorique et Appliquée

    Paris, France

    1 h-index

    1 publications

    46 citations

  7. Swansea University

    Swansea, United Kingdom

    1 h-index

    1 publications

    101 citations

  8. Centre National de la Recherche Scientifique

    Paris, France

    1 h-index

    1 publications

    10 citations

1–8 of 27

Venues

  1. Journal of Symbolic Logic

    2 publications · 134 citations

    2

    h-index

  2. International Journal of Computer Mathematics

    1 publications · 39 citations

    1

    h-index

  3. Journal of the ACM

    JACM · 1 publications · 52 citations

    1

    h-index

  4. arXiv (Cornell University)

    Repository · 1 publications · 16 citations

    1

    h-index

  5. Defense Technical Information Center (DTIC)

    Repository · 1 publications · 21 citations

    1

    h-index

1–5