Lowering HPF Procedure Interface to a Canonical Representation.
Jan BorowiecArthur H. VeenPublished in: LCPC (1997)
Keyphrases
- canonical representation
- implementation details
- highly optimized
- distributed memory
- horn theories
- search procedure
- data sets
- user friendly
- shared memory
- user interface
- iterative procedure
- knowledge base
- friendly interface
- parallel algorithm
- distributed systems
- higher order
- special purpose
- general purpose
- information systems
- real time