Parallel Unification: Theory and Implementations.
Fadi N. SibaiPublished in: Dagstuhl Seminar on Parallelization in Inference Systems (1990)
Keyphrases
- parallel implementations
- higher order
- parallel implementation
- theoretical framework
- equational theories
- search algorithm
- general theory
- real time
- information theory
- formal theory
- parallel architectures
- distributed memory
- computer architecture
- massively parallel
- theoretical basis
- theoretical foundation
- general purpose
- scheduling problem
- database systems
- case study
- decision trees
- machine learning