TY  - UNPD
A1  - Schmidt-Schauß, Manfred
T1  - CPE: a calculus for proving equivalence of expressions in a non-strict functional language
T2  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 5
T2  - Universität Frankfurt am Main. Fachbereich Informatik: Interner Bericht ; 96,2
T3  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik - 5 
T3  - Interner Bericht / Fachbereich Informatik, Johann Wolfgang Goethe-Universität Frankfurt a.M. - 96,2 
Y1  - 1996
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/4599
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30-8920
UR  - http://www.ki.informatik.uni-frankfurt.de/papers/schauss/eq-co96bot.ps
PB  - Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology
CY  - Frankfurt [am Main]
ER  -