Inman P. de Guzmán - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 33 from 33

2009

Functional systems in the context of temporal×modal logics with indexed flowsAlfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco. ijcm, 86(10&11):1696-1706, 2009. [doi]

2008

Generalization of some properties of relations in the context of functional temporal×modal logicAlfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco. ijcm, 85(3&4):371-383, 2008. [doi]

Non-deterministic ideal operators: An adequate tool for formalization in Data BasesPablo Cordero, Angel Mora, Inman P. de Guzmán, Manuel Enciso. DAM, 156(6):911-923, 2008. [doi]

2004

A/D Case: A New Heart for FD3Angel Mora, Manuel Enciso, Pablo Cordero, Inman P. de Guzmán, J. Guerrero. ICEIS 2004: 482-490

2003

A functional approach for temporal × modal logicsAlfredo Burrieza, Inman P. de Guzmán. ACTA, 39(2):71-96, 2003. [doi]

Restricted ideals and the groupability property. Tools for temporal reasoningJavier Martínez, Pablo Cordero, Gloria Gutiérrez, Inman P. de Guzmán. kybernetika, 39(5):521-546, 2003. [doi]

2002

A Temporal × Modal Approach to the Definability of Properties of FunctionsAlfredo Burrieza, Inman P. de Guzmán. frocos 2002: 239-254 [doi]

Indexed Flows in Temporal x Modal Logic with Functional SemanticsAlfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco. time 2002: 146 [doi]

SL::FD:: Logic: Elimination of Data Redundancy in Knowledge RepresentationPablo Cordero, Manuel Enciso, Angel Mora, Inman P. de Guzmán. sbia 2002: 141-150 [doi]

Bases for closed sets of implicants and implicates in temporal logicPablo Cordero, Manuel Enciso, Inman P. de Guzmán. ACTA, 38(9):599-619, 2002. [doi]

Restricted Delta-Trees in Multiple-Valued LogicsInman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde. aimsa 2002: 223-232 [doi]

Restricted Delta-Trees and Reduction Theorems in Multiple-Valued LogicsInman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde. sbia 2002: 161-171 [doi]

Satisfiability Testing for Boolean Formulas Using Delta-treesGloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde. sLogica, 72(1):85-112, 2002.

PrefaceManuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira. sLogica, 72(1):3-5, 2002.

2001

Reductions for non-clausal theorem provingGabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde. TCS, 266(1-2):81-112, 2001. [doi]

2000

1999

Implicates and reduction techniques for temporal logicsInman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde. AMAI, 27(1-4):3-23, 1999.

Multiple-Valued Tableaux with delta-reductionsInman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde. icai 1999: 177-183

Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal LogicInman P. de Guzmán, Pablo Cordero, Manuel Enciso. epia 1999: 193-207

1998

Reducing signed propositional formulasGabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde. soco, 2(4):157-166, 1998. [doi]

Implicates and Reduction Techniques for Temporal LogicsInman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde. jelia 1998: 309-323 [doi]

1996

Executing Intensional Logic with the TAS ToolManuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego. agp 1996: 561-566

Temporal Reasoning over Linear Discrete TimeManuel Enciso, Inman P. de Guzmán, Carlos Rossi. jelia 1996: 303-319

1995

Increasing the efficiency of automated theorem provingGabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego. jancl, 5(1):9-29, 1995.

A Formal Identification between Tuples and Lists with an Application to List-Arithmetic CategoriesInman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde. ACTA, 32(1):61-78, 1995.

1994

TAS-D:::++:::: Syntactic Trees Transformations for Automated Theorem ProvingGabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego. jelia 1994: 198-216

TAS-D++ vs tablas semanticasGabriel Aguilera, J. L. Galan, Inman P. de Guzmán, Manuel Ojeda-Aciego. agp 1994: 438-439

A Temporal Logic for Program SpecificationManuel Enciso, Inman P. de Guzmán, Carlos Rossi. agp 1994: 309-323

1993

Pipelines for Divide-and-Conquer FunctionsInman P. de Guzmán, Peter G. Harrison, E. Medina. cj, 36(3):254-268, 1993.

1992

A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete timeAlfredo Burrieza, Inman P. de Guzmán. jancl, 2(2):181-200, 1992.

Sign in or sign up to see more results.

runs on WebDSL