Combining term rewriting and FP?

Thread View: comp.lang.functional

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Ulrich Hoffmann Mon, 06 Apr 1992 17:31

#112

Author: 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
----------------------------------------------------------------------

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads