Travelled to:1 × Canada
1 × Spain
Collaborated with:∅ A.Bockmayr S.Krischer
Talks about:approach (1) semant (1) rewrit (1) realiz (1) narrow (1) order (1) sort (1) lse (1)
Person: Andreas Werner
DBLP: Werner:Andreas
Contributed to:
1994
1993Wrote 2 papers:
- ALP-1994-WernerBK #how
- How to Realize LSE Narrowing (AW, AB, SK), pp. 59–76.
- RTA-1993-Werner #approach #order #semantics
- A Semantic Approach to Order-Sorted Rewriting (AW), pp. 47–61.