Person:786402

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

This page was built for person: Wolfram Buettner