Concepedia

Matrix Interpretations

Matrix Interpretations is a termination analysis method that assigns matrices to function symbols to compute term interpretations, thereby enabling the derivation of well-founded monotonicity conditions for proving program termination.

31

Publications

1.6K

Citations

53

Authors

38

Institutions

Publications per year

2017–2026

4

Parents

Publications

31

XV. On systems of linear indeterminate equations and congruences

Henry J. Stephen Smith · Philosophical Transactions of the Royal Society of London · 1861 · 287 citations · Full text

, , +8

On Saaty’s and Koczkodaj’s inconsistencies of pairwise comparison matrices

Sándor Bozóki, Tamás Rapcsák · Journal of Global Optimization · 2007 · 187 citations · Full text

, , +8

Matrix Interpretations for Proving Termination of Term Rewriting

Jörg Endrullis, Johannes Waldmann, Hans Zantema · Journal of Automated Reasoning · 2007 · 158 citations · Full text

, , +9

Matrix interpretations and applications of the continued fraction algorithm

William B. Gragg · Rocky Mountain Journal of Mathematics · 1974 · 138 citations · Full text

, , +12

Matrix approach in methodology of sentential calculi

Ryszard Wójcicki · Studia Logica · 1973 · 104 citations

, , +6

1–5 of 31

Authors

53

  1. JW
    Johannes Waldmann

    Leipzig University of Applied Sciences, Germany

    3 publications · 219 citations

    3

    h-index

  2. RW
    Ryszard Wójcicki

    Polish Academy of Sciences, Poland

    2 publications · 143 citations

    2

    h-index

  3. BJ
    Bertrand Jeannet

    Institut national de recherche en sciences et technologies du numérique, France

    2 publications · 70 citations

    2

    h-index

  4. SS
    Sriram Sankaranarayanan

    University of Colorado Boulder, United States

    2 publications · 70 citations

    2

    h-index

  5. AY
    Akihisa Yamada

    National Institute of Advanced Industrial Science and Technology, Japan

    2 publications · 44 citations

    2

    h-index

1–5 of 53

Institutions

38

  1. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    3 h-index

    4 publications

    136 citations

  2. Polish Academy of Sciences

    Warsaw, Poland

    2 h-index

    2 publications

    124 citations

  3. Universität Innsbruck

    Innsbruck, Austria

    2 h-index

    3 publications

    75 citations

  4. Leipzig University of Applied Sciences

    Leipzig, Germany

    2 h-index

    2 publications

    178 citations

  5. University of Colorado Boulder

    Boulder, United States

    2 h-index

    2 publications

    70 citations

  6. University of Oxford

    Oxford, United Kingdom

    2 h-index

    2 publications

    70 citations

  7. Institute of Philosophy and Sociology

    Warsaw, Poland

    1 h-index

    1 publications

    20 citations

  8. University of Maryland, Baltimore

    Baltimore, United States

    1 h-index

    2 publications

    112 citations

1–8 of 38

Venues

  1. Studia Logica

    4 publications · 147 citations

    4

    h-index

  2. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 2 publications · 61 citations

    2

    h-index

  3. Linear Algebra and its Applications

    2 publications · 29 citations

    2

    h-index

  4. International Journal of Intelligent Systems

    1 publications · 44 citations

    1

    h-index

  5. ACM SIGPLAN Notices

    1 publications · 14 citations

    1

    h-index

1–5