Travelled to:1 × USA
Collaborated with:∅
Talks about:unif (2) structur (1) unitari (1) algebra (1) finit (1) data (1) set (1)
Person: Wolfram Büttner
DBLP: B=uuml=ttner:Wolfram
Contributed to:
19881986Wrote 2 papers:
- CADE-1988-Buttner #algebra #finite #unification
- Unification in Finite Algebras is Unitary (?) (WB), pp. 368–377.
- CADE-1986-Buttner #data type #set #unification
- Unification in the Data Structure Sets (WB), pp. 470–488.