Concepedia

Helena Rasiowa

HR

21

Publications

812

Citations

14

H-Index

1950

Active since

Affiliations

University of Warsaw(Current)

Helena Rasiowa is an author at University of Warsaw specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFunctional AnalysisVerificationFormal VerificationRepresentation TheoryMathematical ProgrammingArts

Publications per year

1950–2006

21

Publications

21

A proof of the completeness theorem of Grödel

Helena Rasiowa, Roman Sikorski · Fundamenta Mathematicae · 1950 · 144 citations · Full text

Real Algebraic Geometry, Algebraic Analysis, Completeness Theorem +1

On the Representation of Quasi-Boolean Algebras

Andrzej Białynicki-Birula, Helena Rasiowa · 1957 · 130 citations

Algebraic Logic, Representation Theory, Automated Reasoning +3

Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa

Helena Rasiowa, Ewa Orłowska · Studia Logica · 1999 · 105 citations

Literary Theory, Humanities, Literary History +10

N-lattices and constructive logic with strong negation

Helena Rasiowa · Fundamenta Mathematicae · 1958 · 76 citations · Full text

Non-classical Logic, Engineering, Automated Reasoning +3

Algebraic Treatment of the Functional Calculi of Heyting and Lewis

Helena Rasiowa · Fundamenta Mathematicae · 1951 · 57 citations · Full text

Quantum Algebra, Algebraic Analysis, Algebraic Combinatorics +3

Rows per page

1–5 of 21