Concepedia
2
Publications
117
Citations
H-Index
1991
Active since
Affiliations
Universidad de Sevilla(Current)
E. Briales is an author at Universidad de Sevilla specializing in automated reasoning.
Top concepts
Automated Reasoning
Publications per year
1991–1998
Multi-valued logic and Gröner bases with applications to modal logic
Jacques Chazarain, A. Riscos, José Antonio Alonso et al. · Journal of Symbolic Computation · 1991 · 66 citations
Non-classical Logic, Substructural Logic, Multi-valued Logic +4
Minimal systems of generators for ideals of semigroups
E. Briales, Antonio Campillo, Carlos Marijuán et al. · Journal of Pure and Applied Algebra · 1998 · 51 citations
Topological Semigroups, Minimal Systems, Transformation Semigroups +1
Rows per page
1–2 of 2