CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

HIPER: Term rewriting E-completion system

areas/reasonng/atp/systems/hiper/
This directory contains the HIPER term rewriting system.
Origin:   

   rascal.ics.utexas.edu

Version: 1.0 (28-FEB-92) Requires: Common Lisp Ports: AKCL Copying: If you are using HIPER, please send a mail message to jimc@rascal.ics.utexas.edu. CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Jim Christian Keywords: Authors!Christian, E-Completion, HIPER, Lisp!Code, Logic, Term Rewriting, Unification References: ?
Last Web update on Mon Feb 13 10:27:30 1995
AI.Repository@cs.cmu.edu