The following pages link to Wolfram Buettner (Q786402):
Displaying 14 items.
- (Q757055) (redirect page) (← links)
- Symbolic constraint handling through unification in finite algebras (Q757060) (← links)
- Einige Translationsebenen der Ordnung 64 (Q786403) (← links)
- On 4-dimensional translation planes admitting a Suzuki group as group of automorphisms (Q793333) (← links)
- Eine Charakterisierung der Lüneburgebenen (Q1060698) (← links)
- Automorphismengruppen von Translationsebenen, die gewisse verallgemeinerte Elationen besitzen. (Q1074106) (← links)
- Embedding Boolean expressions into logic programming (Q1100935) (← links)
- Unification in commutative idempotent monoids (Q1111775) (← links)
- On translation planes of order \(q^2\) containing \(Sz(q)\) in their translational complement (Q1133771) (← links)
- On translation planes containing Sz(q) in their translational complement (Q1163230) (← links)
- (Q3786018) (← links)
- (Q3818293) (← links)
- IMPLEMENTING COMPLEX DOMAINS OF APPLICATION IN AN EXTENDED PROLOG SYSTEM (Q3835050) (← links)
- Correct Hardware Design and Verification Methods (Q5493207) (← links)
