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.












