Wolfram Buettner

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Correct Hardware Design and Verification Methods Lecture Notes in Computer Science	2006-10-20	Paper
Symbolic constraint handling through unification in finite algebras Applicable Algebra in Engineering, Communication and Computing	1990-01-01	Paper
IMPLEMENTING COMPLEX DOMAINS OF APPLICATION IN AN EXTENDED PROLOG SYSTEM International Journal of General Systems	1989-01-01	Paper
Unification in commutative idempotent monoids Theoretical Computer Science	1988-01-01	Paper
scientific article; zbMATH DE number 4089519 (Why is no real title available?)	1988-01-01	Paper
Embedding Boolean expressions into logic programming Journal of Symbolic Computation	1987-01-01	Paper
scientific article; zbMATH DE number 4049129 (Why is no real title available?)	1986-01-01	Paper
Automorphismengruppen von Translationsebenen, die gewisse verallgemeinerte Elationen besitzen. Rendiconti del Seminario Matematico della Università di Padova	1985-01-01	Paper
On 4-dimensional translation planes admitting a Suzuki group as group of automorphisms Journal of Combinatorial Theory. Series A	1984-01-01	Paper
Eine Charakterisierung der Lüneburgebenen Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg	1984-01-01	Paper
Einige Translationsebenen der Ordnung 64 Archiv der Mathematik	1983-01-01	Paper
On translation planes containing Sz(q) in their translational complement Geometriae Dedicata	1981-01-01	Paper
On translation planes of order \(q^2\) containing \(Sz(q)\) in their translational complement Archiv der Mathematik	1979-01-01	Paper

Research outcomes over time

This page was built for person: Wolfram Buettner