Article View: sci.logic
Article #472Narrowing systems
From: Erik Hamoen
Date: Thu, 23 May 1991 13:21
Date: Thu, 23 May 1991 13:21
19 lines
888 bytes
888 bytes
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
Technical Details
Message-ID:
<10042@star.cs.vu.nl>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!nstn.ns.ca!news.cs.indiana.edu!samsung!uunet!mcsun!hp4nl!star.cs.vu.nl!erikShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!nstn.ns.ca!news.cs.indiana.edu!samsung!uunet!mcsun!hp4nl!star.cs.vu.nl!erik From: erik@cs.vu.nl (Erik Hamoen) Newsgroups: sci.logic,comp.theory Subject: Narrowing systems Keywords: narrowing Message-ID: <10042@star.cs.vu.nl> Date: 23 May 91 13:21:47 GMT Sender: news@cs.vu.nl Lines: 19