Concepedia

Stefan Bayerl

SB

1

Publications

235

Citations

1

H-Index

1992

Active since

Affiliations

Darmstadt University of Applied Sciences(Current)

Stefan Bayerl is an author at Darmstadt University of Applied Sciences specializing in engineering, parallel computing, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProof ComplexityParallel ComputingComputational Complexity

Publications per year

1992–1992

1

Publications

1

SETHEO: A high-performance theorem prover

Reinhold Letz, J. Schümann, Stefan Bayerl et al. · Journal of Automated Reasoning · 1992 · 235 citations

Computational Complexity Theory, Engineering, Performance Guarantee +6

Rows per page

1–1 of 1