Travelled to:1 × France
1 × United Kingdom
Collaborated with:M.Schmidt-Schauß M.Schütz
Talks about:function (1) calculus (1) abstract (1) tableau (1) program (1) languag (1) automat (1) termin (1) strict (1) reduct (1)
Person: Sven Eric Panitz
DBLP: Panitz:Sven_Eric
Contributed to:
19971995Wrote 2 papers:
- SAS-1997-PanitzS #automation #functional #higher-order #named #proving #source code #strict #termination
- TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language (SEP, MSS), pp. 345–360.
- SAS-1995-Schmidt-SchausPS #calculus #reduction #using
- Abstract Reduction Using a Tableau Calculus (MSS, SEP, MS), pp. 348–365.