Ildikó Sain

Available identifiers

zbMath Open sain.ildikoMaRDI QIDQ514567

List of research outcomes

Publication	Date of Publication	Type
Logic families	2023-11-01	Paper
Universal algebraic logic. Dedicated to the unity of science	2022-11-08	Paper
Complexity of equational theory of relational algebras with standard projection elements	2017-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q2853724	2013-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q4789455	2003-01-29	Paper
On the search for a finitizable algebraization of first order logic	2001-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4250071	1999-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4268476	1999-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4349281	1997-11-05	Paper
Finite schematizable algebraic logic	1997-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4349280	1997-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4873967	1996-08-22	Paper
Decidable and undecidable logics with a binary modality	1996-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4873974	1996-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4873976	1996-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4870556	1996-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q4870570	1996-03-26	Paper
Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators	1996-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q4305492	1994-10-12	Paper
Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus	1994-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q4273438	1994-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q4273484	1994-01-13	Paper
Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics	1993-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4032851	1993-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4011731	1992-09-27	Paper
Temporal logics need their clocks	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3975138	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3976046	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3979260	1992-06-26	Paper
On the strength of temporal proofs	1991-01-01	Paper
An elementary proof for some semantic characterizations of nondeterministic Floyd-Hoare logic	1989-01-01	Paper
Weak second order characterizations of various program verification systems	1989-01-01	Paper
Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs?	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3472083	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3832569	1989-01-01	Paper
Concerning some cylindric algebra versions of the downward Löwenheim- Skolem theorem	1988-01-01	Paper
Total correctness in nonstandard logics of programs	1987-01-01	Paper
A simple proof for the completeness of Floyd's method	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3698302	1985-01-01	Paper
STRUCTURED NONSTANDARD DYNAMIC LOGIC	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3325017	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3346470	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3669604	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3693677	1983-01-01	Paper
A complete logic for reasoning about programs via nonstandard model theory. I	1982-01-01	Paper
A complete logic for reasoning about programs via nonstandard model theory. II	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3039413	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3958640	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4748191	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3939224	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3956920	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3968473	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3208642	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3883472	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3896482	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4198727	1979-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: Ildikó Sain