Travelled to:
1 × USA
Collaborated with:
∅
Talks about:
characterist (1) algorithm (1) subsumpt (1) matric (1) base (1)
Person: Rolf Socher
DBLP: Socher:Rolf
Contributed to:
Wrote 1 papers:
- CADE-1988-Socher #algorithm #matrix
- A Subsumption Algorithm Based on Characteristic Matrices (RS), pp. 573–581.