Travelled to:1 × Canada
1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:∅ J.C.Blanchette
Talks about:recurs (2) higher (2) order (2) function (1) problem (1) pattern (1) partial (1) monoton (1) formula (1) certifi (1)
Person: Alexander Krauss
DBLP: Krauss:Alexander
Contributed to:
2010
2008
20072006Wrote 4 papers:
- IJCAR-2010-BlanchetteK #higher-order
- Monotonicity Inference for Higher-Order Formulas (JCB, AK), pp. 91–106.
- ICFP-2008-Krauss #data type #problem #recursion
- Pattern minimization problems over recursive data types (AK), pp. 267–274.
- CADE-2007-Krauss #termination
- Certified Size-Change Termination (AK), pp. 460–475.
- IJCAR-2006-Krauss #higher-order #logic #recursion
- Partial Recursive Functions in Higher-Order Logic (AK), pp. 589–603.