Concepedia

Alfred Horn

AH

28

Publications

2.4K

Citations

25

H-Index

1948

Active since

Affiliations

University of California, Los Angeles(Current)

Alfred Horn is an author at University of California, Los Angeles specializing in automated reasoning, representation theory, and engineering.

Top concepts

Automated ReasoningRepresentation TheoryEngineeringFunctional AnalysisLinguisticsFormal MethodsSpectral TheoryDiscrete MathematicsIntuitionSemantics

Publications per year

1948–1976

28

Publications

28

Doubly Stochastic Matrices and the Diagonal of a Rotation Matrix

Alfred Horn · American Journal of Mathematics · 1954 · 503 citations

Engineering, Stochastic Processes, Stochastic Dynamical System +7

On sentences which are true of direct unions of algebras

Alfred Horn · Journal of Symbolic Logic · 1951 · 365 citations

Algebraic Logic, Abstract Algebra, Substructural Logic +10

Measures in Boolean algebras

Alfred Horn, Alfred Tarski · Transactions of the American Mathematical Society · 1948 · 215 citations · Full text

Non-additive Measure, Measure Theory, Boolean Function +1

Logic with truth values in A linearly ordered heyting algebra

Alfred Horn · Journal of Symbolic Logic · 1969 · 150 citations

Algebraic Logic, Constructive Mathematics, Truth Values +12

On the Singular Values of a Product of Completely Continuous Operators

Alfred Horn · Proceedings of the National Academy of Sciences · 1950 · 105 citations · Full text

Rows per page

1–5 of 28