Statistics
Publications
7
Citations
430
H-Index
7
Active since
1974
Affiliations
Cecylia Rauszer is an author at Institute of Mathematics specializing in computer science, logic, and predicate logic.
Publications per year
1974–1993
7
7
A formalization of the propositional calculus of H-B logic
Cecylia Rauszer · Studia Logica · 1974 · 106 citations
Applications of Kripke models to Heyting-Brouwer logic
Cecylia Rauszer · Studia Logica · 1977 · 70 citations
Algebraic methods in logic and in computer science
Cecylia Rauszer · 1993 · 49 citations
1–5 of 7