11 citations · 11 across the 1 of their papers we have counts for
2 papers
math.CO2004★ 11 cited
Classification of flag-transitive Steiner quadruple systems
Michael Huber
A Steiner quadruple system of order v is a 3-(v,4,1) design, and will be denoted SQS(v). Using the classification of finite 2-transitive permutation groups all SQS(v) with a flag-t…
cs.PL2000
A Lambda-Calculus with letrec, case, constructors and non-determinism
Manfred Schmidt-Schauß, Michael Huber
A non-deterministic call-by-need lambda-calculus \calc with case, constructors, letrec and a (non-deterministic) erratic choice, based on rewriting rules is investigated. A standar…