منابع مشابه
On the Contributions of Helena Rasiowa to Mathematical Logic
I will summarize the central aspects of the contributions of Helena Rasiowa (1917-1994) to the more traditional or “classical” part of Mathematical Logic. One could reasonably argue that all her original research properly belongs to Mathematical Logic, more precisely to the sub-field of Algebraic Logic. As a natural consequence of her previous work on non-classical log&, in the seventies she be...
متن کاملBeta-reduction as Unification Dedicated to the Memory of Professor Helena Rasiowa
We define a new unification problem, which we call β-unification and which can be used to characterize the β-strong normalization of terms in the λ-calculus. We prove the undecidability of β-unification, its connection with the system of intersection types, and several of its basic properties.
متن کاملHelena Rasiowa and Cecylia Rauszer Research on Logical Foundations of Computer Science
There has been a long tradition of the interest of logicians in computer science and of computer scientists in logic. On the one hand, many problems raised and investigated by logicians before the emergence of computer science turned out to be relevant for the new science. We may quote here the notion of algorithm , model theory or relational systems. On the other hand, some problems stemming f...
متن کاملSkowron HELENA RASIOWA AND CECYLIA RAUSZER RESEARCH ON LOGICAL FOUNDATIONS OF COMPUTER SCIENCE
There is a long tradition of the interest of logicians in computer science and of computer scientists in logic. On the one hand, many problems raised and investigated by logicians before the emergence of computer science turned out to be relevant for the new science. We may quote here the notion of algorithm, model theory or relational systems. On the other hand, some problems stemming from com...
متن کاملHelena Macedo
This supplement aims to disseminate results obtained from the fi rst dietary survey carried out in Brazil, in which food records for two non-consecutive days were obtained for each interviewee. The supplement contains six studies which address aspects linked to analyzing the prevalence of consumption of different foods, inadequate intake in different age groups, guidelines for analyzing the sam...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Banach Center Publications
سال: 1999
ISSN: 0137-6934,1730-6299
DOI: 10.4064/-46-1-9-21