Concepedia

Fernando Valls Guzmán

FV

5

Publications

174

Citations

5

H-Index

1989

Active since

Affiliations

Binghamton University(Current)

Fernando Valls Guzmán is an author at Binghamton University specializing in automated reasoning, representation theory, and geometric group theory.

Top concepts

Automated ReasoningRepresentation TheoryEducationEngineeringCryptographyVerificationFormal MethodsComputer ScienceFormal VerificationInformation Forensics

Publications per year

1989–1999

5

Publications

5

Automorphisms of Generalized Thompson Groups

Matthew G. Brin, Fernando Valls Guzmán · Journal of Algebra · 1998 · 64 citations · Full text

Coxeter Group, Geometric Group Theory, Representation Theory +4

Cointegrations, relative cohomology for comodules, and coseparable corings

Fernando Valls Guzmán · Journal of Algebra · 1989 · 44 citations

Schubert Calculus, Relative Cohomology, M-theory

Characterization of the reduced matrices for the {∧,∨}-fragment of classical logic

Josep M. Font-Llagunes, Fernando Valls Guzmán, Ventura Verdú · 1991 · 27 citations

Algebraic Logic, Non-classical Logic, Substructural Logic +9

Decipherability of codes

Fernando Valls Guzmán · Journal of Pure and Applied Algebra · 1999 · 26 citations

Engineering, Automated Reasoning, Verification +7

The variety of Boolean semirings

Fernando Valls Guzmán · Journal of Pure and Applied Algebra · 1992 · 13 citations

Boolean Semirings, Transformation Semigroups, Universal Algebra +1

Rows per page

1–5 of 5