Xref: utzoo sci.logic:1299 comp.theory:2043
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!zaphod.mps.ohio-state.edu!caen!ox.com!math.fu-berlin.de!unido!fauern!forwiss.uni-passau.de!unipas!mueck
From: mueck@unipas.fmi.uni-passau.de (Andreas Mueck)
Newsgroups: sci.logic,comp.theory
Subject: Re: Narrowing systems
Keywords: narrowing
Message-ID: <1991May27.092254.9955@forwiss.uni-passau.de>
Date: 27 May 91 09:22:54 GMT
References: <10042@star.cs.vu.nl>
Sender: usenet@forwiss.uni-passau.de (USENET News System)
Organization: University of Passau, Germany
Lines: 24
Nntp-Posting-Host: unipas.fmi.uni-passau.de

In article <10042@star.cs.vu.nl> erik@cs.vu.nl (Erik Hamoen) writes:
>Could anyone please mail me names and creation sites of narrowing
>systems? There seem to be lots of term rewrite systems around, but only
>few of them have a narrowing option.
>
>I only know of four systems so far:
>1. ERIL 1.6A (Brian Matthews)
>2. RAP (H. Hussmann)
>3. RITE (Alan Josephson and Nachum Dershowitz)
>4. SLOG (Y. Holvoet)
>
>En vous serrant la main,
>
>Erik Hamoen
>Vrije Universiteit Amsterdam
>Faculteit der Wiskunde en Informatica
>de Boelelaan 1081a
>1081 HV Amsterdam
>the Netherlands
>tel. 205485302

 There is a system called ALF developed by M. Hanus at Univ. of Dortmund (Germany). His e-mail address is michael@ls5.informatik.uni-dortmund.de .

..... andy mueck  (univ. of passau)