Wolfram Buettner

Available identifiers

zbMath Open buettner.wolframMaRDI QIDQ786402

List of research outcomes

Publication	Date of Publication	Type
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Symbolic constraint handling through unification in finite algebras	1990-01-01	Paper
IMPLEMENTING COMPLEX DOMAINS OF APPLICATION IN AN EXTENDED PROLOG SYSTEM	1989-01-01	Paper
Unification in commutative idempotent monoids	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3818293	1988-01-01	Paper
Embedding Boolean expressions into logic programming	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3786018	1986-01-01	Paper
Automorphismengruppen von Translationsebenen, die gewisse verallgemeinerte Elationen besitzen.	1985-01-01	Paper
On 4-dimensional translation planes admitting a Suzuki group as group of automorphisms	1984-01-01	Paper
Eine Charakterisierung der Lüneburgebenen	1984-01-01	Paper
Einige Translationsebenen der Ordnung 64	1983-01-01	Paper
On translation planes containing Sz(q) in their translational complement	1981-01-01	Paper
On translation planes of order \(q^2\) containing \(Sz(q)\) in their translational complement	1979-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Wolfram Buettner