Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Interner Bericht / Fachbereich Informatik, Johann Wolfgang Goethe-Universität Frankfurt a.M.
Refine
Author
Schmidt-Schauß, Manfred
(1)
Year of publication
1996 (1)
(remove)
Document Type
Working Paper (1)
(remove)
Language
English
(1)
Has Fulltext
yes
(1)
Is part of the Bibliography
no
(1)
Institute
Informatik
(1)
1
search hit
1
to
1
10
10
20
50
100
96,2
CPE: a calculus for proving equivalence of expressions in a non-strict functional language
(1996)
Schmidt-Schauß, Manfred
1
to
1