I. P. de Guzmán

Available identifiers

zbMath Open de-guzman.inmaculada-pWikidataQ102223290 ScholiaQ102223290MaRDI QIDQ1403341

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5884943	2023-03-24	Paper
Simplifying inductive schemes in temporal logic	2023-02-03	Paper
Completeness of a functional system for surjective functions	2020-04-29	Paper
Temporal reasoning over linear discrete time	2019-10-08	Paper
https://portal.mardi4nfdi.de/entity/Q5389723	2012-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q3075118	2011-02-10	Paper
Analyzing completeness of axiomatic functional systems for temporal × modal logics	2010-02-16	Paper
Functional systems in the context of temporal×modal logics with indexed flows	2009-11-10	Paper
Generalization of some properties of relations in the context of functional temporal×modal logic	2008-04-29	Paper
Advances in Artificial Intelligence – SBIA 2004	2005-08-22	Paper
Generalizations of lattices via non-deterministic operators	2005-06-23	Paper
A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics	2005-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4737138	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4453161	2004-03-07	Paper
A temporal negative normal form which preserves implicants and implicates	2004-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4422114	2003-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4422117	2003-09-03	Paper
A functional approach for temporal \(\times\) modal logics	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4807685	2003-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4409885	2003-07-01	Paper
Satisfiability testing for Boolean formulas using \(\Delta\)-trees	2003-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4536325	2002-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4537438	2002-06-30	Paper
Reductions for non-clausal theorem proving	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2767096	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2721207	2001-07-01	Paper
Implicates and reduction techniques for temporal logics	2000-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4246976	1999-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q4360107	1997-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4860651	1996-02-13	Paper
Increasing the efficiency of automated theorem proving	1995-12-13	Paper
A formal identification between tuples and lists with an application to list-arithmetic categories	1995-03-22	Paper
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time	1994-02-01	Paper
Structure theorems for alternative H*-algebras	1983-01-01	Paper
Annihilator alternative algebras	1983-01-01	Paper

Research outcomes over time

This page was built for person: I. P. de Guzmán