Concepedia

Inma P. de Guzmán

IP

Statistics

Publications

8

Citations

133

H-Index

8

Active since

1983

Affiliations

Universidad de Málaga(Current)

Inma P. de Guzmán is an author at Universidad de Málaga specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationVerificationProof ComplexityRepresentation TheorySemanticsSatisfiability

Publications per year

1983–2005

8

Publications

8

Reductions for non-clausal theorem proving

Inma P. de Guzmán, Manuel Ojeda‐Aciego, Agustín Valverde · Theoretical Computer Science · 2001 · 22 citations

Engineering, Automated Reasoning, Proof Complexity +3

Generalizations of lattices via non-deterministic operators

J. Martínez, Gloria Gutiérrez, Inma P. de Guzmán et al. · Discrete Mathematics · 2005 · 21 citations

Quantum Lattice System, Lattice (Order), Non-deterministic Operators +2

Annihilator alternative algebras

Inma P. de Guzmán · Pacific Journal of Mathematics · 1983 · 21 citations · Full text

Abstract Algebra, Representation Theory, Annihilator Banach Algebras +7

A New Algebraic Tool for Automatic Theorem Provers

Pablo Cordero, Gloria Gutiérrez, J. Martínez et al. · Annals of Mathematics and Artificial Intelligence · 2004 · 19 citations

New Algebraic Tool, Engineering, Automated Reasoning +8

Structure theorems for alternative H*-algebras

Inma P. de Guzmán · Mathematical Proceedings of the Cambridge Philosophical Society · 1983 · 15 citations

Abstract Algebra, Representation Theory, Inner Product +5

1–5 of 8