Concepedia

Ralph Matthes

RM

13

Publications

423

Citations

11

H-Index

1973

Active since

Affiliations

Ludwig-Maximilians-Universität München(Current)

Institut de Recherche en Informatique de Toulouse

Tallinn University of Technology

Université Toulouse III - Paul Sabatier

Centre National de la Recherche Scientifique

Ralph Matthes is an author at Ludwig-Maximilians-Universität München specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAgricultural EconomicsBotanyMathematical FoundationsHealthSyntaxGrammarLanguage

Publications per year

1973–2011

13

Publications

13

Short proofs of normalization for the simply- typed λ-calculus, permutative conversions and Gödel's T

Felix Joachimski, Ralph Matthes · Archive for Mathematical Logic · 2003 · 95 citations

Algebraic Logic, Engineering, Automated Reasoning +9

Storage of Seed in Sub-Tropical and Tropical Regions

James C. Delouche, Ralph Matthes, George Dougherty et al. · Seed Science and Technology · 1973 · 93 citations

Tropical Regions, Engineering, Botany +4

Iteration and coiteration schemes for higher-order and nested datatypes

Andreas Abel, Ralph Matthes, Tarmo Uustalu · Theoretical Computer Science · 2004 · 56 citations

Numerical Analysis, Engineering, Data Type +6

Substitution in non-wellfounded syntax with variable binding

Ralph Matthes, Tarmo Uustalu · Theoretical Computer Science · 2004 · 32 citations

Syntax, Grammatical Formalism, Computational Linguistics +6

Non-strictly positive fixed points for classical natural deduction

Ralph Matthes · Annals of Pure and Applied Logic · 2004 · 25 citations

Real Algebraic Geometry, Classical Natural Deduction, Partially Ordered Set +1

Rows per page

1–5 of 13