Combining term rewriting and FP?

Article View: comp.lang.functional

Article #112

Back to comp.lang.functional Previous Next

#112

From: Ulrich Hoffmann
Date: Mon, 06 Apr 1992 17:31

20 lines
991 bytes

Hi,

I'm looking for any references, remarks or experience reports
about integrating a term rewriting system, in which the
Church-Rosser-property does not hold in general, into
a functional environment.

Please respond by email to:

     ak@informatik.uni-kiel.dbp.de

Thanks in advance,
                    Alf Kimms.


----------------------------------------------------------------------
Christian-Albrechts-Universitaet Kiel, Institut fuer Informatik
Preusserstr. 1 - 9                   , D - 2300 Kiel 1
EMail: ak@informatik.uni-kiel.dbp.de
----------------------------------------------------------------------

Technical Details

Message-ID: <8619@minnie.informatik.uni-kiel.dbp.de>

Path: arc1-ca.pugleaf.net!sparky!uunet!math.fu-berlin.de!unido!majestix!uho

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!math.fu-berlin.de!unido!majestix!uho
From: uho@informatik.uni-kiel.dbp.de (Ulrich Hoffmann)
Newsgroups: comp.lang.functional
Subject: Combining term rewriting and FP?
Message-ID: <8619@minnie.informatik.uni-kiel.dbp.de>
Date: 6 Apr 92 17:31:37 GMT
Organization: Dept. of Computer Science, University of Kiel, FRG
Lines: 20