BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: B=uuml=ttner:Wolfram

Contributed to:

CADE 19881988
CADE 19861986

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.