Travelled to:
1 × Italy
1 × Spain
Collaborated with:
A.Bockmayr A.Werner
Talks about:
narrow (2) lse (2) redund (1) realiz (1) detect (1) reduc (1) deriv (1) test (1)
Person: Stefan Krischer
DBLP: Krischer:Stefan
Contributed to:
Wrote 2 papers:
- ALP-1994-WernerBK #how
- How to Realize LSE Narrowing (AW, AB, SK), pp. 59–76.
- RTA-1991-KrischerB #detection
- Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test (SK, AB), pp. 74–85.