Anita Wasilewska

Available identifiers

zbMath Open wasilewska.anitaMaRDI QIDQ1066887

List of research outcomes

Publication	Date of Publication	Type
Logics for Computer Science	2018-12-12	Paper
From Logic to Computer Science – A Personal Experience	2015-04-08	Paper
https://portal.mardi4nfdi.de/entity/Q3526748	2008-09-25	Paper
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing	2006-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4484281	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4250255	1999-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q4332419	1997-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q5691535	1997-04-21	Paper
https://portal.mardi4nfdi.de/entity/Q3142022	1993-12-06	Paper
An inductive learning system	1993-01-16	Paper
Rules reduction for knowledge representation systems	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q4014095	1992-10-04	Paper
Syntactic decision procedures in information systems	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3795307	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3782854	1987-01-01	Paper
Deterministic Algorithms, Simple Languages And One‐to‐One Gentzen Type Formalizations	1986-01-01	Paper
Trees and diagrams of decomposition	1985-01-01	Paper
Programs and logics	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3703865	1985-01-01	Paper
Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them	1985-01-01	Paper
DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations	1984-01-01	Paper
On the Gentzen Type Formalizations	1980-01-01	Paper
A constructive proof of Craig's interpolation lemma for m-valued logic	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4167618	1978-01-01	Paper
A sequence formalization for SCI	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4105812	1976-01-01	Paper
The diagrams of formulas of the intuitionistic propositional calculus	1973-01-01	Paper
The diagrams of formulas of the modal propositional S4 calculus	1972-01-01	Paper
A formalization of the modal propositional S4 calculus	1971-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Anita Wasilewska