Inma 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
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
Annihilator alternative algebras	1983-01-01	Paper
Structure theorems for alternative H*-algebras	1983-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: Inma P. de Guzmán