Concepedia

Alexander Leitsch

AL

Statistics

Publications

14

Citations

512

H-Index

12

Active since

1985

Affiliations

TU Wien(Current)

Alexander Leitsch is an author at TU Wien specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceComputational ComplexityProof ComplexityFormal VerificationLinguisticsDiscrete MathematicsMathematical Programming

Publications per year

1985–2018

14

Publications

14

ON SKOLEMIZATION AND PROOF COMPLEXITY

Matthias Baaz, Alexander Leitsch · Fundamenta Informaticae · 1994 · 83 citations

Engineering, Substructural Logic, Automated Reasoning +12

Cut-elimination and Redundancy-elimination by Resolution

Matthias Baaz, Alexander Leitsch · Journal of Symbolic Computation · 2000 · 73 citations

Mathematical Programming, Computational Complexity Theory, Engineering +6

On the efficiency of subsumption algorithms

Georg Gottlob, Alexander Leitsch · Journal of the ACM · 1985 · 67 citations · Full text

Exponential Costs, Computational Complexity Theory, Engineering +16

Cut normal forms and proof complexity

Matthias Baaz, Alexander Leitsch · Annals of Pure and Applied Logic · 1999 · 40 citations

Engineering, Cut Normal Forms, Automated Reasoning +5

CERES: An analysis of Fürstenberg’s proof of the infinity of primes

Matthias Baaz, Stefan Hetzl, Alexander Leitsch et al. · Theoretical Computer Science · 2008 · 39 citations

Theoretical Mathematics, Geometry Of Number, Fürstenberg ’ +3

1–5 of 14