Cecylia Rauszer

From MaRDI portal
Person:787690

Available identifiers

zbMath Open rauszer.cecylia-mMaRDI QIDQ787690

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q48670281996-02-26Paper
https://portal.mardi4nfdi.de/entity/Q42816961994-03-10Paper
https://portal.mardi4nfdi.de/entity/Q42719151993-12-12Paper
https://portal.mardi4nfdi.de/entity/Q40323071993-04-01Paper
https://portal.mardi4nfdi.de/entity/Q40180751993-01-16Paper
https://portal.mardi4nfdi.de/entity/Q39899501992-06-28Paper
https://portal.mardi4nfdi.de/entity/Q39820581992-06-26Paper
https://portal.mardi4nfdi.de/entity/Q37953051988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37427661986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37554361985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37065231985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37501541985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37049241985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37049251985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37074341985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36983361985-01-01Paper
Logical foundation approach to users' domain restriction in data bases1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33098111982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38840931980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39445411979-01-01Paper
Applications of Kripke models to Heyting-Brouwer logic1977-01-01Paper
Model theory for an extension of intuitionistic logic1977-01-01Paper
An algebraic approach to the Heyting-Brouwer predicate calculus1977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41339411977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41109801976-01-01Paper
Notes on the Rasiowa-Sikorski lemma1975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40670971975-01-01Paper
A formalization of the propositional calculus of H-B logic1974-01-01Paper
Semi-Boolean algebras and their applications to intuitionistic logic with dual operations1974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56339931971-01-01Paper

Research outcomes over time

This page was built for person: Cecylia Rauszer