The following pages link to Inma P. de Guzmán (Q1403341):
Displayed 33 items.
- (Q236750) (redirect page) (← links)
- (Q1154638) (redirect page) (← links)
- Generalizations of lattices via non-deterministic operators (Q556843) (← links)
- A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics (Q702096) (← links)
- Annihilator alternative algebras (Q1154639) (← links)
- A formal identification between tuples and lists with an application to list-arithmetic categories (Q1346222) (← links)
- A functional approach for temporal \(\times\) modal logics (Q1403342) (← links)
- Satisfiability testing for Boolean formulas using \(\Delta\)-trees (Q1863824) (← links)
- Implicates and reduction techniques for temporal logics (Q1978028) (← links)
- (Q3075118) (← links)
- Structure theorems for alternative H*-algebras (Q3344716) (← links)
- Analyzing completeness of axiomatic functional systems for temporal × modal logics (Q3406454) (← links)
- Functional systems in the context of temporal×modal logics with indexed flows (Q3643153) (← links)
- (Q4246976) (← links)
- A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time (Q4275691) (← links)
- (Q4360107) (← links)
- (Q4409885) (← links)
- (Q4422114) (← links)
- (Q4422117) (← links)
- A temporal negative normal form which preserves implicants and implicates (Q4443401) (← links)
- (Q4453161) (← links)
- (Q4536325) (← links)
- (Q4537438) (← links)
- (Q4737138) (← links)
- (Q4807685) (← links)
- Increasing the efficiency of automated theorem proving (Q4835513) (← links)
- (Q4860651) (← links)
- Completeness of a functional system for surjective functions (Q5108132) (← links)
- Temporal reasoning over linear discrete time (Q5236442) (← links)
- Advances in Artificial Intelligence – SBIA 2004 (Q5311225) (← links)
- (Q5389723) (← links)
- Generalization of some properties of relations in the context of functional temporal×modal logic (Q5459725) (← links)
- (Q5884943) (← links)
- Reductions for non-clausal theorem proving (Q5958754) (← links)