Wolfram Büttner - Concepedia

Author

Wolfram Büttner

Also Known As

W Büttner, W. Büttner, WOLFRAM BÜTTNER, Wolfram Buttner, Wolfram Büttner, Wolfram Von Büttner

Publications

212

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Automated Reasoning	3	3	151
2	Engineering	2	2	123
3	Computer Science	2	2	123
4	Formal Methods	2	2	123
5	Semantics	1	1	112

Wolfram Büttner

Publications

151

Citations

H-Index

Page 1

	Year	Citations
Embedding boolean expressions into logic programming Wolfram Büttner, Helmut Simonis Journal of Symbolic Computation Applied LogicEngineeringAutomated ReasoningFormal MethodsComputer Science	1987	112
Unification in commutative idempotent monoids Franz Baader, Wolfram Büttner Theoretical Computer Science Abstract AlgebraAutomated ReasoningTransformation SemigroupsUniversal AlgebraCommutative Idempotent Monoids	1988	28
Symbolic constraint handling through unification in finite algebras Wolfram Büttner, Klaus Estenfeld, R. Schmid, Applicable Algebra in Engineering Communication and Computing Algebraic LogicConstraint SolvingEngineeringAutomated ReasoningAlgebraic Semantics	1990	11

Page 1