Concepedia
2
Publications
94
Citations
H-Index
2000
Active since
Greisy Winicki-Landman is an author specializing in automated reasoning, formal semantics, and semantics.
Top concepts
Formal SemanticsAutomated ReasoningSemanticsEngineeringFormal Methods
Publications per year
2000–2000
On Equivalent and Non-Equivalent Definitions: Part 1.
Greisy Winicki-Landman, Роза Лейкин · for the learning of mathematics · 2000 · 67 citations
Formal Semantics, Non-equivalent Definitions, Automated Reasoning +3
On Equivalent and Non-Equivalent Definitions: Part 2.
Роза Лейкин, Greisy Winicki-Landman · for the learning of mathematics · 2000 · 27 citations
Formal Semantics, Engineering, Automated Reasoning +4
Rows per page
1–2 of 2