Subject: Term

Keywords: ::algorithm
          ::Refiner

Title: Substition

--------------------------------------------------

Essential
  - rule interpeter : instantiation 
  - definition : unfold

First order
Second order  ⋅
--------------------------------------------------

Authors: 

Contributors: RICH:t

⋅

Home