Travelled to:1 × France
2 × Italy
Collaborated with:∅
Talks about:strategi (1) version (1) general (1) converg (1) complet (1) boolean (1) algebra (1) system (1) rewrit (1) orient (1)
Person: Rolf Socher-Ambrosius
DBLP: Socher-Ambrosius:Rolf
Contributed to:
1994
1992
1991Wrote 3 papers:
- CADE-1994-Socher-Ambrosius
- A Refined Version of General E-Unification (RSA), pp. 665–677.
- ALP-1992-Socher-Ambrosius
- A Goal Oriented Strategy Based on Completion (RSA), pp. 435–445.
- RTA-1991-Socher-Ambrosius #algebra #convergence #term rewriting
- Boolean Algebra Admits No Convergent Term Rewriting System (RSA), pp. 264–274.