TERM: a parallel executable graph reduction machine for equational language.
Kazuhito OhmakiSatoru TomuraKatsuro InoueToshio ItoKeiichi ItoKoji ToriiPublished in: Parallel Comput. (1989)
Keyphrases
- graph model
- random walk
- programming language
- graph representation
- directed graph
- parallel machines
- natural language
- bipartite graph
- graph theory
- theorem proving
- identical machines
- graph structure
- graph matching
- parallel processing
- connected components
- clustering algorithm
- shared memory
- graph theoretic
- depth first search
- theorem prover
- flowshop
- graph databases
- parallel implementation
- graph partitioning
- rewriting rules
- tree languages
- citation graph