Inma P. de Guzmán

From MaRDI portal
Person:1403341

Available identifiers

zbMath Open de-guzman.inmaculada-pWikidataQ102223290 ScholiaQ102223290MaRDI QIDQ1403341

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q58849432023-03-24Paper
Simplifying inductive schemes in temporal logic2023-02-03Paper
Completeness of a functional system for surjective functions2020-04-29Paper
Temporal reasoning over linear discrete time2019-10-08Paper
https://portal.mardi4nfdi.de/entity/Q53897232012-04-23Paper
https://portal.mardi4nfdi.de/entity/Q30751182011-02-10Paper
Analyzing completeness of axiomatic functional systems for temporal × modal logics2010-02-16Paper
Functional systems in the context of temporal×modal logics with indexed flows2009-11-10Paper
Generalization of some properties of relations in the context of functional temporal×modal logic2008-04-29Paper
Advances in Artificial Intelligence – SBIA 20042005-08-22Paper
Generalizations of lattices via non-deterministic operators2005-06-23Paper
A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics2005-01-17Paper
https://portal.mardi4nfdi.de/entity/Q47371382004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44531612004-03-07Paper
A temporal negative normal form which preserves implicants and implicates2004-01-11Paper
https://portal.mardi4nfdi.de/entity/Q44221142003-09-03Paper
https://portal.mardi4nfdi.de/entity/Q44221172003-09-03Paper
A functional approach for temporal \(\times\) modal logics2003-09-01Paper
https://portal.mardi4nfdi.de/entity/Q48076852003-07-14Paper
https://portal.mardi4nfdi.de/entity/Q44098852003-07-01Paper
Satisfiability testing for Boolean formulas using \(\Delta\)-trees2003-03-12Paper
https://portal.mardi4nfdi.de/entity/Q45363252002-11-25Paper
https://portal.mardi4nfdi.de/entity/Q45374382002-06-30Paper
Reductions for non-clausal theorem proving2002-03-03Paper
Implicates and reduction techniques for temporal logics2000-06-07Paper
https://portal.mardi4nfdi.de/entity/Q42469761999-10-05Paper
https://portal.mardi4nfdi.de/entity/Q43601071997-11-25Paper
https://portal.mardi4nfdi.de/entity/Q48606511996-02-13Paper
Increasing the efficiency of automated theorem proving1995-12-13Paper
A formal identification between tuples and lists with an application to list-arithmetic categories1995-03-22Paper
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time1994-02-01Paper
Annihilator alternative algebras1983-01-01Paper
Structure theorems for alternative H*-algebras1983-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


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