Concepedia

Wolfram Büttner

WB

3

Publications

151

Citations

3

H-Index

1987

Active since

Affiliations

Siemens (Germany)(Current)

Wolfram Büttner is an author at Siemens (Germany) specializing in automated reasoning, formal methods, and computer science.

Top concepts

Publications per year

1987–1990

3

Publications

3

Embedding boolean expressions into logic programming

Wolfram Büttner, Helmut Simonis · Journal of Symbolic Computation · 1987 · 112 citations

, , +6

Unification in commutative idempotent monoids

Franz Baader, Wolfram Büttner · Theoretical Computer Science · 1988 · 28 citations

, , +2

Symbolic constraint handling through unification in finite algebras

Wolfram Büttner, Klaus Estenfeld, R. Schmid et al. · Applicable Algebra in Engineering Communication and Computing · 1990 · 11 citations

, , +6

Rows per page

1–3 of 3